|
|
|
|
LEADER |
02695nmm a2200277 u 4500 |
001 |
EB000630363 |
003 |
EBX01000000000000000483445 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9781468494525
|
100 |
1 |
|
|a Monk, J.D.
|
245 |
0 |
0 |
|a Mathematical Logic
|h Elektronische Ressource
|c by J.D. Monk
|
250 |
|
|
|a 1st ed. 1976
|
260 |
|
|
|a New York, NY
|b Springer New York
|c 1976, 1976
|
300 |
|
|
|a X, 532 p
|b online resource
|
505 |
0 |
|
|a Interdependence of sections -- I Recursive Function Theory -- 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
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Mathematical Logic and Foundations
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Graduate Texts in Mathematics
|
028 |
5 |
0 |
|a 10.1007/978-1-4684-9452-5
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-1-4684-9452-5?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511.3
|
520 |
|
|
|a From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data." There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book
|