[FOM] Logic packages

[Thomas Forster]

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

           Thomas


 


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