Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory - signiertes Exemplar
1979, ISBN: 9780387903460
Gebundene Ausgabe
Hard cover, Sewn binding. Cloth over boards. 198 p. Applied Mathematical Sciences (Springer). Audience: General/trade., Good. No dust jacket. good book., Book: All pages and cover are int… Mehr…
alibris.co.uk |
Introduction to Mathematical Logic: Set Theory, Computable Functions, Model Theory - gebunden oder broschiert
1979, ISBN: 9780387903460
New York, Heidelberg, Berlin: Springer-Verlag, 1979. xii, 198 pp. 24 x 16 cm. Goldenrod colored paper covered boards with titling in black on cover and spine. Light sunning to spine with … Mehr…
Biblio.co.uk |
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics) - Erstausgabe
1979, ISBN: 9780387903460
Gebundene Ausgabe
Springer, Gebundene Ausgabe, Auflage: 1st ed. 1979. Corr. 2nd printing 1987, 210 Seiten, Publiziert: 1979-05-01T00:00:01Z, Produktgruppe: Buch, 0.47 kg, Verkaufsrang: 5148370, Mathematik,… Mehr…
amazon.de Bücherscheune Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Introduction to Mathematical Logic : Set Theory-Computable Functions-Model Theory - gebrauchtes Buch
ISBN: 9780387903460
Springer. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages., Springer, 2.5
Biblio.co.uk |
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics) - gebunden oder broschiert
1987, ISBN: 9780387903460
Hardcover, Neubuch, Size: 9x6x0; New. In shrink wrap. Looks like an interesting title!, [PU: Springer]
alibris.co.uk |
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory - signiertes Exemplar
1979, ISBN: 9780387903460
Gebundene Ausgabe
Hard cover, Sewn binding. Cloth over boards. 198 p. Applied Mathematical Sciences (Springer). Audience: General/trade., Good. No dust jacket. good book., Book: All pages and cover are int… Mehr…
Malitz, Jerome:
Introduction to Mathematical Logic: Set Theory, Computable Functions, Model Theory - gebunden oder broschiert1979, ISBN: 9780387903460
New York, Heidelberg, Berlin: Springer-Verlag, 1979. xii, 198 pp. 24 x 16 cm. Goldenrod colored paper covered boards with titling in black on cover and spine. Light sunning to spine with … Mehr…
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics) - Erstausgabe
1979
ISBN: 9780387903460
Gebundene Ausgabe
Springer, Gebundene Ausgabe, Auflage: 1st ed. 1979. Corr. 2nd printing 1987, 210 Seiten, Publiziert: 1979-05-01T00:00:01Z, Produktgruppe: Buch, 0.47 kg, Verkaufsrang: 5148370, Mathematik,… Mehr…
Introduction to Mathematical Logic : Set Theory-Computable Functions-Model Theory - gebrauchtes Buch
ISBN: 9780387903460
Springer. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages., Springer, 2.5
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics) - gebunden oder broschiert
1987, ISBN: 9780387903460
Hardcover, Neubuch, Size: 9x6x0; New. In shrink wrap. Looks like an interesting title!, [PU: Springer]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
EAN (ISBN-13): 9780387903460
ISBN (ISBN-10): 0387903461
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1979
Herausgeber: Springer
Buch in der Datenbank seit 2007-03-24T23:25:32+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-27T12:38:31+02:00 (Berlin)
ISBN/EAN: 9780387903460
ISBN - alternative Schreibweisen:
0-387-90346-1, 978-0-387-90346-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: malitz, jerome jerome
Titel des Buches: computable functions, introduction theory sets, set functions, introduction mathematical logic, model theory
Daten vom Verlag:
Autor/in: Jerome Malitz
Titel: Undergraduate Texts in Mathematics; Introduction to Mathematical Logic - Set Theory Computable Functions Model Theory
Verlag: Springer; Springer US
198 Seiten
Erscheinungsjahr: 1987-03-16
New York; NY; US
Gewicht: 0,470 kg
Sprache: Englisch
85,55 € (DE)
87,95 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP
BB; Book; Hardcover, Softcover / Mathematik/Grundlagen; Mathematische Grundlagen; Verstehen; proof; Mathematische Logik; compactness theorem; model theory; computability theory; mathematical logic; set theory; B; Mathematical Logic and Foundations; Mathematics and Statistics; Mathematik: Logik; BC; EA
I: An Introduction to Set Theory.- 1.1 Introduction.- 1.2 Sets.- 1.3 Relations and Functions.- 1.4 Pairings.- 1.5 The Power Set.- 1.6 The Cantor-Bernstein Theorem.- 1.7 Algebraic and Transcendental Numbers.- 1.8 Orderings.- 1.9 The Axiom of Choice.- 1.10 Transfinite Numbers.- 1.11 Paradise Lost, Paradox Found (Axioms for Set Theory).- 1.12 Declarations of Independence.- II: An Introduction to Computability Theory.- 2.1 Introduction.- 2.2 Turing Machines.- 2.3 Etemonstrating Computability without an Explicit Description of a Turing Machine.- 2.4 Machines for Composition, Recursion, and the “Least Operator”.- 2.5 Of Men and Machines.- 2.6 Non-computable Functions.- 2.7 Universal Machines.- 2.8 Machine Enumerabihty.- 2.9 An Alternate Definition of Computable Function.- 2.10 An Idealized Language.- 2.11 Definabihty in Arithmetic.- 2.12 The Decision Problem for Arithmetic.- 2.13 Axiomatizing Arithmetic.- 2.14 Some Directions in Current Research.- III: An Introduction to Model Theory.- 3.1 Introduction.- 3.2 The First Order Predicate Calculus.- 3.3 Structures.- 3.4 Satisfaction and Truth.- 3.5 Normal Forms.- 3.6 The Compactness Theorem.- 3.7 Proof of the Compactness Theorem.- 3.8 The Lowenheim-Skolem Theorem.- 3.9 The Prefix Problem.- 3.10 Interpolation and Definabihty.- 3.11 Herbrand’s Theorem.- 3.12 Axiomatizing the Validities of L.- 3.13 Some Recent Trends in Model Theory.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
2900122384522 Mathematical Introduction to Logic (Herbert Enderton)
- 2900122384522 Mathematical Introduction to Logic (Herbert Enderton)
- 9780080570389 A Mathematical Introduction to Logic (Herbert B. Enderton)
- 9780018962323 Introduction to Mathematical Logic (Mendelson, E)
- 9781461394433 Introduction to Mathematical Logic (Jerome Malitz)
- 9780080496467 A Mathematical Introduction to Logic (Herbert Enderton; Herbert B. Enderton)
< zum Archiv...