Foundations of Mathematical Logic
- Authors
- Curry, Haskell B.
- Publisher
- Dover Publications
- ISBN
- 9780486153056
- Date
- 2012-05-24T00:00:00+00:00
- Size
- 7.94 MB
- Lang
- en
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.