Foundations of Mathematical Logic
Ranked #38 in Haskell
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. less
Similar Books
If you like Foundations of Mathematical Logic, check out these similar top-rated books:
