عنوان
پدید آورنده
موضوع
رده
QA9 .M4 2010
QA9
.
M4
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1584888768
(Number (ISBN
9781584888765
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Introduction to mathematical logic /
General Material Designation
[Book]
First Statement of Responsibility
Elliott Mendelson
EDITION STATEMENT
Edition Statement
5th ed
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxiv, 469 pages :
Other Physical Details
illustrations ;
Dimensions
25 cm
SERIES
Series Title
Discrete mathematics and its applications
GENERAL NOTES
Text of Note
"A Chapman and Hall book."
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
CONTENTS NOTE
Text of Note
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
SUMMARY OR ABSTRACT
Text of Note
"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
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
M4
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Mendelson, Elliott
ORIGINATING SOURCE
Date of Transaction
20100308020732.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
