An Introduction to Metalogic
Product Description
An Introduction to Metalogic
An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.
Technical Specifications
You might also like
The Boundary Stones of Thought: An Essay in the Philosophy of Logic
An Introduction to Logical Theory
Philosophical Introduction to Set Theory (Dover Books on Mathematics)
The Search for Certainty: A Journey Through the History of Mathematics, 1800-2000 (Dover Books on Mathematics)
Summing It Up: From One Plus One to Modern Number Theory
A Mathematical Prelude to the Philosophy of Mathematics
Approaching Infinity
Introduction to Metamathematics
After Physics
Computation, Proof, Machine: Mathematics Enters a New Age