Skip to main content
  • Textbook
  • © 1972

Modelltheorie

Eine Einführung in die mathematische Logik und Grundlagentheorie

Part of the book series: Hochschultext (HST)

Buy it now

Buying options

eBook USD 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (8 chapters)

  1. Front Matter

    Pages I-XV
  2. Vorbereitungen. Definitionsschemata

    • Georg Kreisel, Jean-Louis Krivine
    Pages 1-3
  3. Aussagenkalkül

    • Georg Kreisel, Jean-Louis Krivine
    Pages 4-13
  4. Prädikatenkalkül

    • Georg Kreisel, Jean-Louis Krivine
    Pages 14-33
  5. Prädikatenkalkül mit Gleichheit

    • Georg Kreisel, Jean-Louis Krivine
    Pages 34-50
  6. Quantorenelimination

    • Georg Kreisel, Jean-Louis Krivine
    Pages 51-81
  7. Prädikatenkalkül mit mehreren Objektsorten

    • Georg Kreisel, Jean-Louis Krivine
    Pages 82-132
  8. Maximale Modelle, Modelle unendlicher Formeln

    • Georg Kreisel, Jean-Louis Krivine
    Pages 133-152
  9. Definierbarkeit

    • Georg Kreisel, Jean-Louis Krivine
    Pages 153-182
  10. Back Matter

    Pages 183-278

Authors and Affiliations

  • Stanford University, Stanford, USA

    Georg Kreisel

  • Departement de Mathématiques, F-75 Paris (5°), France

    Jean-Louis Krivine

Bibliographic Information

  • Book Title: Modelltheorie

  • Book Subtitle: Eine Einführung in die mathematische Logik und Grundlagentheorie

  • Authors: Georg Kreisel, Jean-Louis Krivine

  • Series Title: Hochschultext

  • DOI: https://doi.org/10.1007/978-3-642-65302-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin-Heidelberg 1972

  • Softcover ISBN: 978-3-540-05654-6Published: 23 June 1972

  • eBook ISBN: 978-3-642-65302-5Published: 12 March 2013

  • Edition Number: 1

  • Number of Pages: XVI, 278

  • Additional Information: Titel der französischen Originalausgabe: Elements de logique mathematique

  • Topics: Mathematics, general

Buy it now

Buying options

eBook USD 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access