112,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
- Contents of Part I
- Notes from the translator
- Notes to the reader
- Introduction
- 5: Recursion theory
- 5.1: Primitive recursive functions and sets
- 5.2: Recursive functions
- 5.3: Turing machines
- 5.4: Recursively enumerable sets
- 5.5: Exercises for Chapter 5
- 6: Formalization of arithmetic, Gödel's theorems
- 6.1: Peano's axioms
- 6.2: Representable functions
- 6.3: Arithmetization of syntax
- 6.4: Incompleteness and undecidability theorem
- 7: Set theory
- 7.1: The theories Z and ZF
- 7.2: Ordinal numbers and integers
- 7.3: Inductive proofs and definitions
- 7.4: Cardinality
- 7.5: The axiom of foundation and the reflections schemes
- 7.6: Exercises for Chapter 7
- 8: Some model theory
- 8.1: Elementary substructures and extensions
- 8.2: Construction of elementary extensions
- 8.3: The interpolation and definability theorems
- 8.4: Reduced products and ultraproducts
- 8.5: Preservations theorems
- 8.6: -categorical theories
- 8.7: Exercises for Chapter 8
- Solutions to the exercises of Part II
- Chapter 5
- Chapter 6
- Chapter 7
- Chapter 8
- Bibliography
- Index
| Erscheinungsjahr: | 2001 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Importe, Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| ISBN-13: | 9780198500506 |
| ISBN-10: | 0198500505 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Cori, Rene
Lascar, Daniel Cori, Ren? |
| Hersteller: | OUP Oxford |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 234 x 156 x 20 mm |
| Von/Mit: | Rene Cori (u. a.) |
| Erscheinungsdatum: | 12.04.2001 |
| Gewicht: | 0,535 kg |
- Contents of Part I
- Notes from the translator
- Notes to the reader
- Introduction
- 5: Recursion theory
- 5.1: Primitive recursive functions and sets
- 5.2: Recursive functions
- 5.3: Turing machines
- 5.4: Recursively enumerable sets
- 5.5: Exercises for Chapter 5
- 6: Formalization of arithmetic, Gödel's theorems
- 6.1: Peano's axioms
- 6.2: Representable functions
- 6.3: Arithmetization of syntax
- 6.4: Incompleteness and undecidability theorem
- 7: Set theory
- 7.1: The theories Z and ZF
- 7.2: Ordinal numbers and integers
- 7.3: Inductive proofs and definitions
- 7.4: Cardinality
- 7.5: The axiom of foundation and the reflections schemes
- 7.6: Exercises for Chapter 7
- 8: Some model theory
- 8.1: Elementary substructures and extensions
- 8.2: Construction of elementary extensions
- 8.3: The interpolation and definability theorems
- 8.4: Reduced products and ultraproducts
- 8.5: Preservations theorems
- 8.6: -categorical theories
- 8.7: Exercises for Chapter 8
- Solutions to the exercises of Part II
- Chapter 5
- Chapter 6
- Chapter 7
- Chapter 8
- Bibliography
- Index
| Erscheinungsjahr: | 2001 |
|---|---|
| Fachbereich: | Grundlagen |
| Genre: | Importe, Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| ISBN-13: | 9780198500506 |
| ISBN-10: | 0198500505 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Cori, Rene
Lascar, Daniel Cori, Ren? |
| Hersteller: | OUP Oxford |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 234 x 156 x 20 mm |
| Von/Mit: | Rene Cori (u. a.) |
| Erscheinungsdatum: | 12.04.2001 |
| Gewicht: | 0,535 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen