Foundations of Mathematical Logic
Authors: Haskell B. Curry


Genres
Mathematics
Logic

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.

Goodreads page:
https://www.goodreads.com/book/show/438597.Foundations_of_Mathematical_Logic