عنوان
پدید آورنده
موضوع
رده
QA9 .M4 2010
QA9
.
M4
2010
کتابخانه
محل استقرار
1584888768
9781584888765
dltt
Introduction to mathematical logic /
[Book]
Elliott Mendelson
5th ed
xxiv, 469 pages :
illustrations ;
25 cm
Discrete mathematics and its applications
"A Chapman and Hall book."
Includes bibliographical references and index
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
0
"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
Logic, Symbolic and mathematical
511
.
3
22
QA9
.
M4
2010
Mendelson, Elliott
20100308020732.0
rda
مطالعه متن کتاب [Book]
Y
