Can I read Foundations of Mathematical Logic (Dover Books on Mathematics) on EtoBox?

Foundations of Mathematical Logic (Dover Books on Mathematics) by Haskell Brooks Curry is a book available to read on EtoBox.

What is Foundations of Mathematical Logic (Dover Books on Mathematics) about?

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." The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the

Author

Haskell Brooks Curry

Publisher

INscribe Digital

Published

2012

Language

EN

ISBN

9781306363891

Subjects

Mathematics, Stem