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 message: [ Message body ]
Next message: Richard Waldinger: "Re: logic books"
Previous message: Seth Russell: "Re: Logic and proof tutorial resources"
In reply to: Piotr Kaminski: "Re: Logic and proof tutorial resources"
Next in thread: Richard Waldinger: "Re: logic books"
Reply: Richard Waldinger: "Re: logic books"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:48 GMT