0122384520 (acid-free paper)
IR
EN-53286
انگلیسی
IR
A mathematical introduction to logic
[Book]
/ Herbert B. Enderton
2nd ed.
San Diego
: Harcourt/Academic Press,
, c2001.
xii, 317 p. , ill. , 24 cm.
Electronic
Includes bibliographical references (p. 307-308) and index.
g4.1. tSecond-Order Languages. g4.2. tSkolem Functions. g4.3. tMany-Sorted Logic. g4.4. tGeneral Structures. 9 bnatoc
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
Logic, Symbolic and mathematical
E-BOOK
Enderton, Herbert B.
ایران
0122384520.pdf
عادی
عادی
0122384520.pdf
متن
old catalog
e
BL
1
a
Y
