Foundations of Mathematical Logic

Foundations of Mathematical Logic

ISBN 13:  9780486634623

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


Usually ships in 21 days  

Usually ships in 21 days

Author  Haskell B. Curry
Format  Paperback
No. of Pages  416
Brand:  Dover Publications

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

Be the first to Write a Review for this item!

UK Delivery

Order 3 or more books to enjoy FREE UK delivery!

Method Cost for Single Book Additional Book
UK Standard £2.95 £0.55   *  Order 3 + books for FREE delivery
UK First Class £3.90 £2.00


Method Cost for Delivery Plus Cost per Book
Europe (Standard Air via Royal Mail)


Rest of World (Air Mail) £8.00 £6.00

In Stock items are sent same day (Monday to Friday before 3 pm) or within one working day.

Find out more in our full delivery and returns information

Related Products
Mathematical Logic

Mathematical Logic£24.99

Usually ships in 21 days  Usually ships in 21 days
Logic for Mathematicians

Logic for Mathematicians£22.99

Usually ships in 21 days  Usually ships in 21 days
A Beginneräó»s Guide to Mathematical Logic

A Beginneräó»s Guide to Mathematical Logic£16.99

Usually ships in 21 days  Usually ships in 21 days