Like Foundations of Mathematical Logic?
Join aNobii to see if your friends read it, and discover similar books!
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 weContinue
0 Review No reviews for this book yet
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: 1355 mm x 903 mm x 129 mm Just how big is that?
- Also available as: Hardcover
Prices Change currency & sellers
| ISBN | Edition | List | Sale | Seller |
|---|---|---|---|---|
| 9780486634623 | Paperback | $15.95 | $12.31 | bn.com |
| $15.95 | -- | The Book Depository | ||
| Other editions → | ||||