Mathematical logic / (Record no. 196673)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01015cam a2200277 i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780387901701 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CUS |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Item number | MON/M |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Monk, J. Donald |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical logic / |
| Statement of responsibility, etc. | J. Donald Monk |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | New York : |
| Name of publisher, distributor, etc. | Springer-Verlag, |
| Date of publication, distribution, etc. | 1976. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | x, 531 p. |
| Dimensions | 25 cm. |
| 440 #0 - SERIES | |
| Title | Graduate texts in mathematics ; |
| Volume/sequential | 37 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographies and indexes. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | - I. Turing machines.- 2. Elementary recursive and primitive recursive functions.- 3. Recursive functions; Turing computability.- 4. Markov algorithms.- 5. Recursion theory.- 6. Recursively enumerable sets.- 7. Survey of recursion theory.- II Elements of Logic.- 8. Sentential logic.- 9. Boolean algebra.- 10. Syntactics of first-order languages.- 11. Some basic results of first-order logic.- 12. Cylindric algebras.- III Decidable and Undecidable Theories.- 13. Some decidable theories.- 14. Implicit definability in number theories.- 15. General theory of undecidability.- 16. Some undecidable theories.- 17. Unprovability of consistency.- IV Model Theory.- 18. Construction of models.- 19. Elementary equivalence.- 20. Nonstandard mathematics.- 21. Complete theories.- 22. The interpolation theorem.- 23. Generalized products.- 24. Equational logic.- 25. Preservation and characterization theorems.- 26. Elementary classes and elementary equivalence.- 27. Types.- 28. Saturated structures.- V Unusual Logics.- 29. Inessential variations.- 30. Finitary extensions.- 31. Infinitary extensions.- Index of symbols.- Index of names and definitions |
| 650 #0 - SUBJECT | |
| Keyword | Logic, Symbolic and mathematical. |
| 856 42 - ONLINE RESOURCES | |
| url | http://www.loc.gov/catdir/enhancements/fy0905/75042416-d.html |
| 856 41 - ONLINE RESOURCES | |
| url | http://www.loc.gov/catdir/enhancements/fy0905/75042416-t.html |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | General Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Cost, normal purchase price | Full call number | Accession number | Date last seen | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | 26/03/2019 | 5066.25 | 511.3 MON/M | 47401 | 26/03/2019 | General Books |