Foundations of Mathematical Logic
by Haskell B. Curry
English | 1977 | ISBN: 0486634620 | 416 pages | DJVU | 3.03 MB
“ | 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. | ” |
Please No mirrors.
Download File Size:3.05 MB