Model Theory, Mathematical Logic, Exercises, Theoretical Computer Science, Aba, Models, Drop, Products, Templates

Foundations of Mathematical Logic by Haskell B. Curry 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, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Mathematical Logic (Dover Books on Mathematics)