Foundations Of Mathematical Logic
Download and Read Foundations Of Mathematical Logic full books in PDF, ePUB, and Kindle. Read online free Foundations Of Mathematical Logic ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Foundations of Mathematical Logic
Author | : Haskell Brooks Curry |
Publisher | : Courier Corporation |
Total Pages | : 420 |
Release | : 1977-01-01 |
Genre | : Mathematics |
ISBN | : 9780486634623 |
Download Foundations of Mathematical Logic Book in PDF, Epub and Kindle
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.