Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition)
معرفی کتاب «Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition)» نوشتهٔ Dr. Georg Kreisel, Dr. Jean-Louis Krivine (auth.)، منتشرشده توسط نشر Springer-Verlag Berlin Heidelberg در سال 1972. این کتاب در فرمت pdf، زبان آلمانی ارائه شده است.
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
دانلود کتاب Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition)