|
" Introduction to mathematical logic / "
Elliott Mendelson
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
645660
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Mendelson, Elliott
|
| Title & Author
|
:
|
Introduction to mathematical logic /\ Elliott Mendelson
|
| Edition Statement
|
:
|
5th ed
|
| Series Statement
|
:
|
Discrete mathematics and its applications
|
| Page. NO
|
:
|
xxiv, 469 pages :: illustrations ;; 25 cm
|
| ISBN
|
:
|
9781584888765
|
|
|
:
|
: 1584888768
|
| Notes
|
:
|
"A Chapman and Hall book."
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| 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
|
| Abstract
|
:
|
"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."--BOOK JACKET
|
| Subject
|
:
|
Logic, Symbolic and mathematical
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA9.M4 2010
|
| |