A course on mathematical logic / (Record no. 331)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03198cam a22002297a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 1569 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200701103744.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 080103s2008 nyu b 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780387762753 (pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0387762752 (pbk.) |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | UKM |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 22 |
| Item number | S77427 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Srivastava, S. M. |
| 245 12 - TITLE STATEMENT | |
| Title | A course on mathematical logic / |
| Statement of responsibility, etc | S.M. Srivastava. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | New York : |
| Name of publisher, distributor, etc | Springer, |
| Date of publication, distribution, etc | c2008. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | x, 140 p. |
| Dimensions | 23 cm. |
| 490 0# - SERIES STATEMENT | |
| Series statement | Universitext |
| 500 ## - GENERAL NOTE | |
| General note | Includes bibliographical references (p. [135]) and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1 Syntax of First-Order Logic ................ .......... 1<br/>1.1 First-Order Languages ............... ............... 1<br/>1.2 Terms of a Language ............................... 4<br/>1.3 Formulas of a Language ..................... ......... 6<br/>1.4 First-Order Theories ............................... 10<br/>2 Semantics of First-Order Languages ................... 15<br/>2.1 Structures of First-Order Languages ................. . 16<br/>2.2 Truth in a Structure ............................... 17<br/>2.3 Model of a Theory ................................. 19<br/>2.4 Embeddings and Isomorphisms ........................ 20<br/>3 Propositional Logic ................ .................. 29<br/>3.1 Syntax of Propositional Logic .......................... 30<br/>3.2 Semantics of Propositional Logic ....................... 31<br/>3.3 . Compactness Theorem for Propositional Logic ........... 33<br/>3.4 Proof in Propositional Logic ........................... 37<br/>3.5 Metatheorems in Propositional Logic. ................... 38<br/>3.6 Post Tautology Theorem .............................. 42<br/>4 Proof and Metatheorems in First-Order Logic .......... 45<br/>4.1 Proof in First-Order Logic ......................... 45<br/>4.2 Metatheorems in First-Order Logic ..................... 46<br/>4.3 Some Metatheorems in Arithmetic ...................... 59<br/>4.4 Consistency and Completeness ......................... 62<br/>5 Completeness Theorem and Model Theory ............. 65<br/>5.1 Completeness Theorem ............................. 65<br/>5.2 Interpretations in a Theory ............................ 70<br/>5.3 Extension by Definitions .............................. 72<br/>5.4 Compactness Theorem and Applications. ................ 74<br/>5.5 Complete Theories ................................. 77<br/>5.6 Applications in Algebra .............................. 79<br/>6 Recursive Functions and Arithmetization of Theories ... 83<br/>6.1 Recursive Functions and Recursive Predicates ............ 84<br/>6.2 Semirecursive Predicates .............................. 93<br/>6.3 Arithmetization of Theories ........................... 96<br/>6.4 Decidable Theories ................ ................ 103<br/>7 Incompleteness Theorems and Recursion Theory ....... 107<br/>7.1 Representability ..................................... 107<br/>7.2 First Incompleteness Theorem ......................... 115<br/>7.3 Arithmetical Sets ..................................... 116<br/>7.4 Recursive Extensions of Peano Arithemetic .............. 125<br/>7.5 Second Incompleteness Theorem ........................ 131<br/><br/> |
| Withdrawn status | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| UE-Central Library | UE-Central Library | 01.06.2018 | U.E.17112 | 511.3 S77427 | T1569 | 01.06.2018 | 01.06.2018 | Books |
