Advertisement

Modelltheorie

Eine Einführung in die mathematische Logik und Grundlagentheorie

  • Georg Kreisel
  • Jean-Louis Krivine

Part of the Hochschultext book series (HST)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Georg Kreisel, Jean-Louis Krivine
    Pages 1-3
  3. Georg Kreisel, Jean-Louis Krivine
    Pages 4-13
  4. Georg Kreisel, Jean-Louis Krivine
    Pages 14-33
  5. Georg Kreisel, Jean-Louis Krivine
    Pages 34-50
  6. Georg Kreisel, Jean-Louis Krivine
    Pages 51-81
  7. Georg Kreisel, Jean-Louis Krivine
    Pages 82-132
  8. Georg Kreisel, Jean-Louis Krivine
    Pages 133-152
  9. Georg Kreisel, Jean-Louis Krivine
    Pages 153-182
  10. Back Matter
    Pages 183-278

About this book

Keywords

Algebra Beweis Funktion Kreisel Logik Mathematik Mathematische Logik Modell (Math.) Ordinalzahl

Authors and affiliations

  • Georg Kreisel
    • 1
  • Jean-Louis Krivine
    • 2
  1. 1.Stanford UniversityStanfordUSA
  2. 2.Departement de MathématiquesF-75 Paris (5°)France

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-65302-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1972
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-05654-6
  • Online ISBN 978-3-642-65302-5
  • Series Print ISSN 0172-5939
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Telecommunications
Consumer Packaged Goods
Aerospace