Articoli correlati a Mathematical Logic: 37
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Product Description
Book by Monk JD
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Nature
- Data di pubblicazione1976
- ISBN 10 0387901701
- ISBN 13 9780387901701
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine548
Compra nuovo
Visualizza questo articolo
EUR 86,36
EUR 3,76 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Mathematical Logic: 37
Foto dell'editore
Mathematical Logic (Volume 37)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Volume 37. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:0387901701. Codice articolo 5569751
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 1976th Edition. Used book that is in clean, average condition without any missing pages. Codice articolo 13258256-6
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: Great Matter Books, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: As New. An As New hard cover book. Book is pristine, inside and out, no signs the book has been opened. All books are individually inspected and described. Never X-Library unless specifically described as such. Codice articolo 2412-9113
Quantità: 1 disponibili
Immagini fornite dal venditore
Mathematical logic.
Editore:
Springer-Verlag, New York, 1976
ISBN 10: 0387901701
ISBN 13: 9780387901701
Antico o usato
Rilegato
Da: Emile Kerssemakers ILAB, Heerlen, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
24 cm. original hardcover. 532 pp. bibliography. index. "Graduate Texts in Mathematics". -(rubbed, owner's name, sunned, otherwise good). 950g. Codice articolo 71641
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic: 37 (Graduate Texts in Mathematics, 37)
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR014289723
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37, Band 37) J. Donald Monk
Da: online-buch-de, Dozwil, Svizzera
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: gebraucht; sehr gut. Hardcover, minimalste Standspuren, wie ungelesen. Codice articolo 521-3-70
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: Grumpys Fine Books, Tijeras, NM, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: very good. little wear and tear. Codice articolo Grumpy0387901701
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: Grumpys Fine Books, Tijeras, NM, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Prompt service guaranteed. Codice articolo Clean0387901701
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580173673
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Logic
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 548 pp. Englisch. Codice articolo 9780387901701
Quantità: 2 disponibili