Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. ... Philosophie / Strukturtypen der Logik)
Ein einflussreiches Buch, das die logischen Normalformen analysiert, Identität und definitorische Erweiterungen beleuchtet, Kompaktheit prüft und ma ...