Ein umfassendes Werk über die Normalformen in der Logik, das sich mit Identität, definitorischen Erweiterungen und Kompaktheit auseinandersetzt; es beleuchtet zudem magische Mengen und das Fundamentaltheorem als Schlüssel zur analytischen Philosophie.