[FOM] Logic packages

Thomas Forster T.Forster at dpmms.cam.ac.uk
Tue Jan 1 06:20:00 EST 2008

Do list members have any favourite computer aids for teaching logic to 
undergraduates?  I have been using JAPE, which has many virtues, but it 
does have the disadvantage that it supports Kalish-Montague-style box 
proofs - which is something i am trying to wean my bairns off.

   Any suggestions?

         Happy New Year



URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph: 
+44-1223-337981. Mobile +44-7887-701-562.

More information about the FOM mailing list