Notation Systems

These are notation systems for the Logic Calculator.

Note that these are only OUTPUT notations. The program currently only has one input format, which is more or less the Computer Science style listed below.


Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/notations/
This page was last modified on March 8th, 2001