Mathematical logic/ (Record no. 184952)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00319nam a2200133Ia 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0387901701 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | CUS |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
Item number | MON/M |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Monk,James Donald |
245 #0 - TITLE STATEMENT | |
Title | Mathematical logic/ |
Statement of responsibility, etc. | James Donald Monk |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | New York : |
Name of publisher, distributor, etc. | Springer, |
Date of publication, distribution, etc. | 1976. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | x,531p. : |
Dimensions | 24 cm. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes index. |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Interdependence of sections.- I Recursive Function Theory.- <br/>I. Turing machines.- <br/>2. Elementary recursive and primitive recursive functions.- <br/>3. Recursive functions; Turing computability.- <br/>4. Markov algorithms.- <br/>5. Recursion theory.- <br/>6. Recursively enumerable sets.- <br/>7. Survey of recursion theory.- <br/>II Elements of Logic.- <br/>8. Sentential logic.- <br/>9. Boolean algebra.- <br/>10. Syntactics of first-order languages.- <br/>11. Some basic results of first-order logic.- <br/>12. Cylindric algebras.- <br/>III Decidable and Undecidable Theories.- <br/>13. Some decidable theories.- <br/>14. Implicit definability in number theories.- <br/>15. General theory of undecidability.- <br/>16. Some undecidable theories.- <br/>17. Unprovability of consistency.- <br/>IV Model Theory.- <br/>18. Construction of models.- <br/>19. Elementary equivalence.- <br/>20. Nonstandard mathematics.- <br/>21. Complete theories.- <br/>22. The interpolation theorem.- <br/>23. Generalized products.- <br/>24. Equational logic.- <br/>25. Preservation and characterization theorems.- <br/>26. Elementary classes and elementary equivalence.- <br/>27. Types.- <br/>28. Saturated structures.- <br/>V Unusual Logics.- <br/>29. Inessential variations.- <br/>30. Finitary extensions.- <br/>31. Infinitary extensions.- |
650 ## - SUBJECT | |
Keyword | Symbolic and mathematical logic. |
650 ## - SUBJECT | |
Keyword | Mathematical logic. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | General Books |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Accession number | Date last seen | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|
Central Library, Sikkim University | Central Library, Sikkim University | General Book Section | 29/08/2016 | 511.3 MON/M | P39964 | 29/08/2016 | General Books |