Skip to main content

Navigation Icons in the header

Home Contact Sitemap Search
SoftOption ®

Breadcrumb

  1. Home

Browse

8/23/21

About us

This is the work of Martin Frické (you can contact him at mfricke@SoftOption.Us    mfricke@arizona.edu     mfricke1947@gmail.com). The copyright is held by SoftOption ® Ltd. (New Zealand), contact support@SoftOption.Us. And  SoftOption ® is a US registered Trademark.

Content as Books of Notes

  • Easy Deriver [Sentential and Predicate Logic—Bergmann Syntax]
  • Easy Deriver [Propositional and Predicate Logic—Gentzen Syntax]
  • Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
  • Documentation
  • Instructional Software for Logic and Source Code
  • Lambda Calculus and Combinatory Logic
  • Lambda Calculus and Elementary Type Theory
  • LP&L Trees [Tarski's World]
  • Modal Logic [Girle Syntax]
  • Symbolization into Propositional and Predicate Logic [Gentzen syntax]
  • Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax]
  • Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Howson Syntax]
  • Type Labels, Sorts, and Order Sorted Logic [Gentzen Syntax]
  • Miscellaneous
  • Older Books of Notes (that use Java applets)

Navigation

Show — Navigation Hide — Navigation
  • Browse
  • Search
  • Site map

Author login

  • Create new account
  • Reset your password
Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us