Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie Strukturtypen der Logik

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Wolfgang Stegmüller