Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!cs.dal.ca!iisat!brains!jeff_rabin
From: jeff_rabin@brains.UUCP (Jeff Rabin)
Newsgroups: comp.binaries.ibm.pc.d
Subject: (none)
Message-ID: <4829@brains.UUCP>
Date: 23 Sep 89 10:42:36 GMT
Reply-To: jeff_rabin%brains@iisat.UUCP
Organization: Cerebral Cortex BBS
Lines: 10

Anyone know of a program in the public domain to do classical Symbolic Logic,
and whereabouts I might get such a thing.
               Jeff Rabin 
--
   -===------===-    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
   -===------===-