W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2001

logic books

From: Richard Waldinger <waldinger@AI.SRI.COM>
Date: Tue, 11 Dec 2001 17:52:54 -0800
Message-ID: <3C16B876.C517674A@ai.sri.com>
To: Piotr Kaminski <piotr@ideanest.com>
CC: "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
my book with manna, 
deductive foundations of computer programming
zohar manna and richard waldinger
addison-wesley, 1993
is oriented toward theorem proving and applications and has good
exposition. it's not intended for logicians. 
there is no online version, alas.

some of it is implemented in stickel's theorem prover snark,

http://www.ai.sri.com/snark/tutorial.html
Received on Tuesday, 11 December 2001 20:53:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:41 GMT