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
- Hardcover
- ISBN-10: 0830621113
- ISBN-13: 9780830621118
- Publisher: McGraw-Hill/TAB Electronics
- Pub date: Jan 01, 1977
- Also available as: Paperback
Prices Change currency & sellers
| ISBN | Edition | List | Sale | Seller |
|---|---|---|---|---|
| 9780830621118 | Hardcover | -- | -- | -- |
| Other editions → | ||||
A Phillip Garcia 