Classical Mathematical Logic
Regular price
€87.99
A01=Richard L. Epstein
Author_Richard L. Epstein
Axiom
Axiom of choice
Axiomatic system
Binary function
Category=PBCD
Circular definition
Classical logic
Complete theory
Conjunctive normal form
Consistency
Contradiction
Decidability (logic)
Deduction theorem
Dimension
Disjunctive normal form
Double negation
Empty set
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Euclid's Elements
Existential generalization
Existential quantification
Extension by definitions
Extensionality
For All Practical Purposes
Formal language
Formal proof
Inference
Infimum and supremum
Integer
Logic
Logical conjunction
Logical connective
Logical consequence
Logical disjunction
Lucky number
Mathematical induction
Mathematics
Metalogic
Metatheory
Modal logic
Natural number
Negation
Partial function
Predicate (mathematical logic)
Predicate logic
Predicate variable
Prenex normal form
Propositional calculus
Propositional variable
Quantifier (linguistics)
Quantifier (logic)
Real closed field
Real number
Second-order arithmetic
Semantics
Set (mathematics)
Set theory
Sheffer stroke
Sign (mathematics)
Simple set
Soundness
Subset
Subtended angle
Tautology (logic)
Theorem
Theory
Total order
Transversal (geometry)
Universal instantiation
Variable (computer science)
Variable (mathematics)
Walter Carnielli
Product details
- ISBN 9780691123004
- Weight: 1134g
- Dimensions: 178 x 254mm
- Publication Date: 23 Jul 2006
- Publisher: Princeton University Press
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems. The book has more than 550 exercises. It can be used in advanced undergraduate or graduate courses and for self-study and reference. Classical Mathematical Logic presents a unified treatment of material that until now has been available only by consulting many different books and research articles, written with various notation systems and axiomatizations.
Richard L. Epstein received his doctorate in mathematics from the University of California, Berkeley. He is the author of eleven books, including two others in the series "The Semantic Foundations of Logic (Propositional Logics and Predicate Logic), Five Ways of Saying "Therefore," Critical Thinking", and, with Walter Carnielli, "Computability". He is head of the Advanced Reasoning Forum in Socorro, New Mexico.
