J. D. Monk: Mathematical Logic | Buch

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.

Sprache: Englisch

96,29 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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.

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
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.
Hersteller:	Springer US Springer New York Springer US, New York, N.Y. 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

Artikel-ID: 102405872

Inhaltsverzeichnis

Details

Erscheinungsjahr:	1976
Fachbereich:	Allgemeines
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Buch
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.
Hersteller:	Springer US Springer New York Springer US, New York, N.Y. 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