Ebook: Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
- Tags: Mathematics general
- Series: Hochschultext
- Year: 1972
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: German
- pdf
Content:
Front Matter....Pages I-XV
Vorbereitungen. Definitionsschemata....Pages 1-3
Aussagenkalk?l....Pages 4-13
Pr?dikatenkalk?l....Pages 14-33
Pr?dikatenkalk?l mit Gleichheit....Pages 34-50
Quantorenelimination....Pages 51-81
Pr?dikatenkalk?l mit mehreren Objektsorten....Pages 82-132
Maximale Modelle, Modelle unendlicher Formeln....Pages 133-152
Definierbarkeit....Pages 153-182
Back Matter....Pages 183-278
Content:
Front Matter....Pages I-XV
Vorbereitungen. Definitionsschemata....Pages 1-3
Aussagenkalk?l....Pages 4-13
Pr?dikatenkalk?l....Pages 14-33
Pr?dikatenkalk?l mit Gleichheit....Pages 34-50
Quantorenelimination....Pages 51-81
Pr?dikatenkalk?l mit mehreren Objektsorten....Pages 82-132
Maximale Modelle, Modelle unendlicher Formeln....Pages 133-152
Definierbarkeit....Pages 153-182
Back Matter....Pages 183-278
....
Download the book Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)