Zur Startseite gehen
0,00 €*
Cover: 9780387901701 | Mathematical Logic | J. D. Monk | Buch | Graduate Texts in Mathematics
Bild: 9780387901701 | Mathematical Logic | J. D. Monk | Buch | Graduate Texts in Mathematics
Cover: 9780387901701 | Mathematical Logic | J. D. Monk | Buch | Graduate Texts in Mathematics
Bild: 9780387901701 | Mathematical Logic | J. D. Monk | Buch | Graduate Texts in Mathematics
Dekorationsartikel gehören nicht zum Leistungsumfang.
Mathematical Logic
Buch von J. D. Monk
Sprache: Englisch

87,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1976
Fachbereich: Allgemeines
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Buch
Seiten: 548
Reihe: Graduate Texts in Mathematics
Inhalt: x
532 S.
ISBN-13: 9780387901701
ISBN-10: 0387901701
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Monk, J. D.
Auflage: 1976
Hersteller: Springer US
Springer New York
Graduate Texts in Mathematics
Maße: 241 x 160 x 34 mm
Von/Mit: J. D. Monk
Erscheinungsdatum: 07.09.1976
Gewicht: 0,98 kg
preigu-id: 102405872
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1976
Fachbereich: Allgemeines
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Buch
Seiten: 548
Reihe: Graduate Texts in Mathematics
Inhalt: x
532 S.
ISBN-13: 9780387901701
ISBN-10: 0387901701
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Monk, J. D.
Auflage: 1976
Hersteller: Springer US
Springer New York
Graduate Texts in Mathematics
Maße: 241 x 160 x 34 mm
Von/Mit: J. D. Monk
Erscheinungsdatum: 07.09.1976
Gewicht: 0,98 kg
preigu-id: 102405872
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...