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 ed. Exercises.

Author: Curry

VAT: No

Minimum Order Quantity: 0

Delivery:  Usually ships in 28 days. Import title.    

All UK orders are POST FREE!

All prices shown include applicable taxes.