Foundations of Mathematical Logic

by Haskell B Curry

Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition.

Genres: Mathematics, Logic

416 pages, ebook

First published January 1, 1977