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