Sold out but wanted!
More about the book
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.
Book purchase
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Language
- Released
- 1977
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.
- Title
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Language
- English
- Authors
- Haskell Brooks Curry
- Publisher
- Dover Publications
- Released
- 1977
- Format
- Paperback
- Pages
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Series
- Rating
- 3.6 out of 5
- Description
- 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.