Share
Organize
Explore
has ALL you need!
A community for book lovers to create their own bookshelves, share and explore books.
Sign Up for FREE! Blog this item |
Similar books
 First-Order Logic |  Introduction to Mathematical Logic |  Introduction to Symbolic Logic and Its Applications |  Axiomatic Set Theory |  Mathematical Logic |
Book Description
Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
- Book Details
- English Books
- Paperback 416 Pages
- Edition: 2nd Revise
- ISBN-10: 0486634620
- ISBN-13: 9780486634623
- Publisher: Dover Publications
- Pub date: Apr 01, 1977
- Dimensions: 21 cm x 14 cm x 2 cm Just how big is that?
- Also available as: Hardcover
FAQ
How does the voting work?
Find a comment helpful / unhelpful? Cast your vote. Only one vote from each person will be counted. Every hour we gather all the votes, add them up, add some magic source, and there we have the new sorting for the comments on the page of this book!I see mistakes in the book information. How can I fix it?
Under "Book details", there is a link labeled "Improve data of this book". You can use that form to send us the correct information.
