• Cantor Paper  

• Prover   Prover is a Java applet that will display a proof of a zeroth order logic statement, such as pV!p or (p&q)->p.
• If a statement that is not true is entered, it will prove that the statement is not true. Some examples are (pVq)->p or !(TVp).
• Old browsers cannot view this program, but it does work with Netscape Communicator 4.5.

• Cat Simulator  Press the "Run" button for next move.

• Form practice

• Schwartz(under construction)

• Local Browser

• PitchPicker

• Partition2

This page is maintained by Larry Schweitzer.lsch@svpal.org. Created: 11/04/1998. Last Updated: 11/28/2010.