Overview

Authors:

Georg Kreisel
1. Stanford University, Stanford, USA
View author publications

You can also search for this author in PubMed Google Scholar
Jean-Louis Krivine
1. Departement de Mathématiques, F-75 Paris (5°), France
View author publications

You can also search for this author in PubMed Google Scholar

Part of the book series: Hochschultext (HST)

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

Access this book

eBook USD 49.95

Price excludes VAT (USA)

Softcover Book USD 49.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Front Matter

Pages I-XV

Download chapter PDF
Vorbereitungen. Definitionsschemata
- Georg Kreisel, Jean-Louis Krivine
Pages 1-3
Aussagenkalkül
- Georg Kreisel, Jean-Louis Krivine
Pages 4-13
Prädikatenkalkül
- Georg Kreisel, Jean-Louis Krivine
Pages 14-33
Prädikatenkalkül mit Gleichheit
- Georg Kreisel, Jean-Louis Krivine
Pages 34-50
Quantorenelimination
- Georg Kreisel, Jean-Louis Krivine
Pages 51-81
Prädikatenkalkül mit mehreren Objektsorten
- Georg Kreisel, Jean-Louis Krivine
Pages 82-132
Maximale Modelle, Modelle unendlicher Formeln
- Georg Kreisel, Jean-Louis Krivine
Pages 133-152
Definierbarkeit
- Georg Kreisel, Jean-Louis Krivine
Pages 153-182
Back Matter

Pages 183-278

Download chapter PDF

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