Introduction to mathematical logic
Mendelson, Elliot
Introduction to mathematical logic by Elliot Mendelson - 6th ed. - Boca Raton : CRC Press, ©2024 - xxiv, 489 p. ; 24 cm. - Textbooks in Mathematics .
Includes bibliographical references and index
Chapter 1: The Propositional Calculus Chapter 2: First-Order Logic and Model Theory Chapter 3: Formal Number Theory Chapter 4: Axiomatic Set Theory Chapter 5: Computability
9781032919140
Mathematical logic
Arithmetic function
Complete theory
Commutativity of conjunction
511.3 / MEN-I
Introduction to mathematical logic by Elliot Mendelson - 6th ed. - Boca Raton : CRC Press, ©2024 - xxiv, 489 p. ; 24 cm. - Textbooks in Mathematics .
Includes bibliographical references and index
Chapter 1: The Propositional Calculus Chapter 2: First-Order Logic and Model Theory Chapter 3: Formal Number Theory Chapter 4: Axiomatic Set Theory Chapter 5: Computability
9781032919140
Mathematical logic
Arithmetic function
Complete theory
Commutativity of conjunction
511.3 / MEN-I