Goodreads helps you keep track of books you want to read.
Start by marking “Symbolic Logic and Mechanical Theorem Proving” as Want to Read:
Symbolic Logic and Mechanical Theorem Proving
Enlarge cover
Rate this book
Clear rating
Open Preview

Symbolic Logic and Mechanical Theorem Proving

4.33  ·  Rating Details ·  3 Ratings  ·  0 Reviews
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to var ...more
Hardcover, 331 pages
Published June 11th 1973 by Academic Press (first published May 1st 1973)
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Symbolic Logic and Mechanical Theorem Proving, please sign up.

Be the first to ask a question about Symbolic Logic and Mechanical Theorem Proving

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-16 of 16)
filter  |  sort: default (?)  |  Rating Details
BookDB marked it as to-read
Sep 23, 2016
Arun Kishore
Arun Kishore marked it as to-read
Sep 06, 2016
Dilan marked it as to-read
May 05, 2016
K. marked it as to-read
Apr 03, 2016
cacaegg marked it as to-read
Mar 14, 2015
Prabhavi Siniki
Prabhavi Siniki marked it as to-read
Jun 22, 2014
Chathu added it
May 31, 2014
Sachin Chopade
Sachin Chopade is currently reading it
Oct 29, 2013
Loijing is currently reading it
Sep 13, 2013
Anthony Smith
Anthony Smith rated it it was amazing
Mar 20, 2013
Pham Zung
Pham Zung marked it as to-read
Jan 31, 2013
Fadoua rated it liked it
May 18, 2012
Jose_A. rated it it was amazing
Jan 22, 2012
There are no discussion topics on this book yet. Be the first to start one »

Share This Book