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)