Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-lcc!styx!ames!ucbcad!ucbvax!atc.bendix.COM!DON
From: DON@atc.bendix.COM
Newsgroups: comp.ai.digest
Subject: Theorem Proving Text recommendation
Message-ID: <8705032117.AA28946@ucbvax.Berkeley.EDU>
Date: Tue, 28-Apr-87 16:05:00 EDT
Article-I.D.: ucbvax.8705032117.AA28946
Posted: Tue Apr 28 16:05:00 1987
Date-Received: Sun, 3-May-87 22:03:09 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 8
Approved: ailist@stripe.sri.com

What is a good, up-to-date, intermediate or advanced automated theorem
proving book?  If there isn't a list which someone can send me from the
archives, I'll collect responses and post.

Don Mitchell	  		Don@atc.bendix.com
Bendix Aero. Tech. Ctr.		Don%atc.bendix.com@relay.cs.net
9140 Old Annapolis Rd.		(301)964-4156
Columbia, MD 21045