Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods - including algorithms and epitheory - and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
| ISBN: | 9780486634623 |
| Publication date: | 28th March 2003 |
| Author: | Haskell B Curry |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 408 pages |
| Series: | Dover Books on Mathematics |
| Genres: |
Mathematical logic |
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods - including algorithms and epitheory - and offers a brief treatment of Markov's approach to algorithms.
Foundations of Mathematical Logic features in the following genres: Mathematical logic
Paperback. Not Available.
Foundations of Mathematical Logic was written by Haskell B Curry and published by Dover Publications an imprint of Dover Publications Inc.
Foundations of Mathematical Logic has 408 pages
Yes it is part of Dover Books on Mathematics series