794921
9780486634623
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 ed. Exercises.Curry, Haskell B. is the author of 'Foundations of Mathematical Logic' with ISBN 9780486634623 and ISBN 0486634620.
[read more]