Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!rpi!leah!bingvaxu!sunybcs!gort!rapaport From: rapaport@gort.cs.buffalo.edu (William J. Rapaport) Newsgroups: comp.ai Subject: Re: (none) Message-ID: <11255@eerie.acsu.Buffalo.EDU> Date: 2 Oct 89 21:00:24 GMT References: <4844@brains.UUCP> Sender: nobody@acsu.buffalo.edu Reply-To: rapaport@gort.UUCP (William J. Rapaport) Organization: SUNY @ Buffalo Lines: 25 In article <4844@brains.UUCP> jeff_rabin%brains@iisat.UUCP writes: >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. For software usable with our text, Schagrin, Morton L.; Rapaport, William J.; & Dipert, Randall D. (1985) _Logic: A Computer Approach_ (New York: McGraw-Hill), contact: Prof. Randall R. Dipert Dept. of Philosophy State University College Fredonia, NY 14063 dipert@cs.buffalo.edu It's about $45, not copy-protected, and runs on PCs. William J. Rapaport Associate Professor of Computer Science Interim Director, Center for Cognitive Science Dept. of Computer Science||internet: rapaport@cs.buffalo.edu SUNY Buffalo ||bitnet: rapaport@sunybcs.bitnet Buffalo, NY 14260 ||uucp: {decvax,watmath,rutgers}!sunybcs!rapaport (716) 636-3193, 3180 ||fax: (716) 636-3464