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: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Good. hardcover. Page block firm and clean, binding unblemished, boards straight, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped. Codice articolo BAY07-00123
Compra usato
EUR 35,31
Spedizione EUR 4,39
Spedito in U.S.A.
Spedito in 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 45,26
Spedizione EUR 4,39
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic
Editore:
Springer, New York, 1976
ISBN 10: 0387901701
ISBN 13: 9780387901701
Antico o usato
Rilegato
Prima edizione
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: Good. No Jacket. First Edition. From an academic library with the usual stamps etc. Front hinge tape repaired. Codice articolo PF3667
Compra usato
EUR 21,64
Spedizione EUR 35,01
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Graduate Texts in Mathematics, 37)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. 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 3736674
Compra usato
EUR 59,81
Spedizione EUR 15,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 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 104,15
Spedizione EUR 13,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 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 105,71
Spedizione EUR 21,95
Spedito da Spagna a U.S.A.
Spedito da Spagna a U.S.A.
Quantità: 1 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 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Mathematical Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
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 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic
Editore:
Springer-Verlag New York Inc., 1976
ISBN 10: 0387901701
ISBN 13: 9780387901701
Nuovo
Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780387901701
Compra nuovo
EUR 122,12
Spedizione EUR 23,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito 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 150,85
Spedizione EUR 3,51
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili