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
- Contatto del produttore{language_tag:it_IT,value:"Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com"}
Compra nuovo
Visualizza questo articolo
EUR 83,50
EUR 9,70 per la spedizione da Germania a Italia
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
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
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 1976th Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 6117831-6
Quantità: 2 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
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 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
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
Immagini fornite dal venditore
Mathematical Logic
Editore:
Springer New York, Springer US Sep 1976, 1976
ISBN 10: 0387901701
ISBN 13: 9780387901701
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch. Codice articolo 9780387901701
Quantità: 2 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
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Logic
Editore:
Springer New York, Springer US, 1976
ISBN 10: 0387901701
ISBN 13: 9780387901701
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9780387901701
Quantità: 1 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
Quantità: 1 disponibili