Foundations of Mathematical Logic

(Code: 9780486634623)
£ 15.99 (19.01 €)
Currently ships 2 - 5 days
Add to cart
Foundations of Mathematical Logic
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.

Illustrations: -
Author: Curry
Size: -
Format: Book
Copyright: -
ISBN 13: 9780486634623

FREE Shipping on 3 books or more ! - for all UK orders.