Introduction to mathematical logic
"Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing."--Jacket.
Read More ↓Title Statements
- Full title :Introduction to mathematical logic / Elliott Mendelson.
Summary
"Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing."--Jacket.
Read More ↓Edition Statements
- Publication Date:©2010.
- Edition:5th ed
Publication Statements
- Publisher(s):CRC Press
- Place of Publication:Boca Raton
- Language:eng
- Publication Date:©2010.
Notes
"A Chapman and Hall book."
The Physical Object
- Description:xxiv, 469 pages : : illustrations ; : 25 cm.
Edition Identifiers
- ISBN:9781584888765, 1584888768
- oclc:ocn148589097
- LC Classification:QA9
- Dewey Decimal:511.3
Table of Contents
The propositional calculus -- First-order logic and model theory -- Formal number theory -- Axiomatic set theory -- Computability -- Appendix A: Second-order logic -- Appendix B: First steps in modal propositional logic.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Files & Downloads
-
Introduction to Mathematical Logic -- (.pdf)
PDF · 2.9 MB · updated -
Introduction to mathematical logic -- (.pdf)
PDF · 2.7 MB · updated -
Introduction to mathematical logic -- (.pdf)
PDF · 2.1 MB · updated
Rate & Review