[comp.windows.x] Software for propositional and first-order logic

chang@galaxy.cps.msu.edu (Ki-yin Chang) (04/03/91)

  There is a software called Tarski's  World which allows 

people to practice on propositional logic and first-order 

logic in  Macintosh machine.  Does anyone know a similiar 

software which is available in sun X-window system ?



                                        Jimmy, K. Chang
-----------------------------------------------------------
Jimmy K. Chang                     chang@frith.egr.msu.edu
Michigan State University          (517) 355-5983
East Lansing, MI 48824
-----------------------------------------------------------