• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Foundations of Mathematical Logic

Foundations of Mathematical Logic

Paperback

Series: Dover Books on Mathematics

FictionCalculus

Currently unavailable to order

ISBN10: 0486634620
ISBN13: 9780486634623
Publisher: Dover Publications
Published: Nov 18 2010
Pages: 416
Weight: 0.94
Height: 0.78 Width: 5.60 Depth: 8.23
Language: English
This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic.
Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as the analysis and criticism of thought (W. E. Johnson), then mathematical logic is, according to Curry, a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space.

Also in

Fiction