Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!lll-winken!cert!netnews.upenn.edu!msuinfo!galaxy.cps.msu.edu!chang
From: chang@galaxy.cps.msu.edu (Ki-yin Chang)
Newsgroups: comp.windows.x
Subject: Software for propositional and first-order logic
Message-ID: <1991Apr3.032147.396@msuinfo.cl.msu.edu>
Date: 3 Apr 91 03:21:47 GMT
Sender: news@msuinfo.cl.msu.edu
Distribution: usa
Organization: Dept. of Computer Science, Michigan State University
Lines: 17
Originator: chang@galaxy.cps.msu.edu


  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
-----------------------------------------------------------