- From: Richard Waldinger <waldinger@AI.SRI.COM>
- Date: Tue, 11 Dec 2001 17:52:54 -0800
- 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 UTC