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