Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!apple!sun-barr!lll-winken!uunet!cs.dal.ca!iisat!brains!jeff_rabin
From: jeff_rabin@brains.UUCP (Jeff Rabin)
Newsgroups: comp.ai
Subject: (none)
Message-ID: <4844@brains.UUCP>
Date: 26 Sep 89 10:59:25 GMT
Reply-To: jeff_rabin%brains@iisat.UUCP
Organization: Cerebral Cortex BBS
Lines: 13

Dear All, Anyone know where I might be able to find a public domain program
          to do symbolic logic that would run on a pc. Preferably with
source.
          If anyone knows please drop me a line, here on the Cerebral Cortex.
                         Thanks,
                                 Jeff 
--
   -===------===-    From Jeff Rabin at Cerebral Cortex BBS System
  -==-==----==-==-   (902)462-7245 3/12/2400 8N1 24h/7d
 -==-------==------  jeff_rabin%brains@iisat.UUCP
  -==-==----==-==-   {uunet, utai, watmath}!dalcs!iisat!brains!jeff_rabin
   -===------===-