Foundations of Mathematical Logic
By Haskell B. Curry
* Publisher: Dover Publications
* Number Of Pages: 416
* Publication Date: 1977-06-01
* ISBN-10 / ASIN: 0486634620
* ISBN-13 / EAN: 9780486634623
* Binding: Paperback
Product Description:
Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.
http://ifile.it/bk1ohja/foundations.of.mathematical.logic_curry_0486634620.rar