Sinossi
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."
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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Mathematical Logic: 37
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: FITZ BOOKS AND WAFFLES, Buffalo, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Near Fine. Science-Nature-Technology. This is a clean, undamaged copy signed by the previous owner but otherwise unmarked. Codice articolo ABE-1754769709591
Compra usato
EUR 26,54
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 1 disponibili
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
Compra usato
EUR 25,21
Spese di spedizione:
EUR 15,34
Da: Regno Unito a: U.S.A.
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
Compra usato
EUR 44,24
Spese di spedizione:
EUR 4,29
In U.S.A.
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
Compra nuovo
EUR 94,54
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780387901701
Compra nuovo
EUR 106,18
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780387901701_new
Compra nuovo
EUR 99,40
Spese di spedizione:
EUR 13,71
Da: Regno Unito a: U.S.A.
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
Compra nuovo
EUR 96,29
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Mathematical Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 mat. Codice articolo 5911615
Compra nuovo
EUR 83,50
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 548 Index. Codice articolo 26319181
Compra nuovo
EUR 130,42
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Mathematical Logic
Da: Agapea Libros, Malaga, MA, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: New. Idioma/Language: Inglés. 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. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla. Codice articolo 735151
Compra nuovo
EUR 113,11
Spese di spedizione:
EUR 21,95
Da: Spagna a: U.S.A.
Quantità: 1 disponibili