[FOM] Logic packages

Richard Zach rzach at ucalgary.ca
Fri Jan 4 04:42:36 EST 2008

There are some packages listed on


(Scroll down to "Computers in Logic Education")

The page is out-of-date; I should really update it soon.  Thomas,
can you summarize any private answers on the list, or forward those
messages to me?  

Richard Zach ...... http://www.ucalgary.ca/~rzach/
Associate  Professor,   Department  of  Philosophy
University of Calgary, Calgary, AB T2N 1N4, Canada

More information about the FOM mailing list