INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0122384520 (acid-free paper)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-53286
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A mathematical introduction to logic
General Material Designation
[Book]
First Statement of Responsibility
/ Herbert B. Enderton
EDITION STATEMENT
Edition Statement
2nd ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
San Diego
Name of Publisher, Distributor, etc.
: Harcourt/Academic Press,
Date of Publication, Distribution, etc.
, c2001.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 317 p. , ill. , 24 cm.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 307-308) and index.
CONTENTS NOTE
Text of Note
g4.1. tSecond-Order Languages. g4.2. tSkolem Functions. g4.3. tMany-Sorted Logic. g4.4. tGeneral Structures. 9 bnatoc
Text of Note
Useful Facts about Sets -- Ch. 1. Sentential Logic. 1.0. Informal Remarks on Formal Languages. 1.1. The Language of Sentential Logic. 1.2. Truth Assignments. 1.3. A Parsing Algorithm. 1.4. Induction and Recursion. 1.5. Sentential Connectives. 1.6. Switching Circuits. 1.7. Compactness and Effectiveness -- Ch. 2. First-Order Logic. 2.0. Preliminary Remarks. 2.1. First-Order Languages. 2.2. Truth and Models. 2.3. A Parsing Algorithm. 2.4. A Deductive Calculus. 2.5. Soundness and Completeness Theorems. 2.6. Models of Theories. 2.7. Interpretations Between Theories. 2.8. Nonstandard Analysis -- Ch. 3. Undecidability. 3.0. Number Theory. 3.1. Natural Numbers with Successor. 3.2. Other Reducts of Number Theory. 3.3. A Subtheory of Number Theory. 3.4. Arithmetization of Syntax. 3.5. Incompleteness and Undecidability. 3.6. Recursive Functions. 3.7. Second Incompleteness Theorem. 3.8. Representing Exponentiation -- Ch. 4. Second-Order Logic. 9 bnatoc
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Enderton, Herbert B.
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0122384520.pdf
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
0122384520.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
