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,

Received on Tuesday, 11 December 2001 20:53:11 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC