Foundations Of Mathematical Logic

Book Details:

• Author: Haskell B. Curry

• Publisher: Dover

• Edition: 2nd Edition

• Binding: Paperback

• Number of Pages: 416

• ISBN: 0800759634620

• Release Date: 21-10-2010

• Languages: English

• Package Dimensions: 8.5 x 5.5 x 0.9 inches

About the Book:

Written by the pioneering figure in mathematical logic, Haskell B. Curry, this comprehensive graduate-level text, Foundations of Mathematical Logic, delves deeply into the constructive theory of first-order predicate calculus. The book, first published in 1963, is an essential read for anyone interested in understanding formal systems, algorithms, and the foundation of mathematical logic.

Curry’s text covers key topics including formal systems, algorithms, epitheory, and a brief treatment of Markov’s approach to algorithms. Additionally, it introduces elementary concepts regarding lattices and similar algebraic structures, offering insights into logical algebras and relational logical algebra.

The text is divided into well-structured chapters, each exploring a critical aspect of mathematical logic. It begins with foundational topics such as the nature of mathematics and the logical antinomies, followed by an in-depth discussion on formal systems, systems of logical algebras, and the theory of implication. The later chapters tackle more advanced concepts, including negation, quantification, and modality, with an emphasis on classical formulations and the use of L systems.

Perfect for graduate students in mathematics and logic, this book presents a rigorous and thorough approach to the subject while remaining accessible with its clear explanations and well-structured content. It also provides numerous supplementary topics, making it a valuable resource for self-study and reference.