عنوان
پدید آورنده
موضوع
رده
QA9 .H527 2005
QA9
.
H527
2005
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1315275538
(Number (ISBN
1439864276
(Number (ISBN
9781315275536
(Number (ISBN
9781439864272
Erroneous ISBN
9781568812625
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Fundamentals of mathematical logic /
General Material Designation
[Book]
First Statement of Responsibility
Peter G. Hinman.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wellesley, Mass. :
Name of Publisher, Distributor, etc.
A K Peters,
Date of Publication, Distribution, etc.
©2005.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 878 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 821-828) and indexes.
CONTENTS NOTE
Text of Note
1. Propositional logic and other fundamentals -- 2. First-order logic -- 3. Completeness and compactness -- 4. Incompleteness and undecidability -- 5. Topics in definability -- 6. Set theory -- 7. Model theory -- 8. Recursion theory.
0
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Ingram Content Group
Stock Number
TANDF_234055
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
1568812620
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical.
Model theory.
Recursion theory.
Set theory.
Logic, Symbolic and mathematical.
MATHEMATICS-- General.
Model theory.
Recursion theory.
Set theory.
(SUBJECT CATEGORY (Provisional
MAT-- 000000
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
H527
2005
PERSONAL NAME - PRIMARY RESPONSIBILITY
Hinman, Peter G.
ORIGINATING SOURCE
Date of Transaction
20200822171613.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
