Ein einflussreiches Werk, das die Grundlagen der abstrakten algebraischen Logik mit den Prinzipien der universellen Algebra verbindet und deren Bedeutung für theoretische Informatik, Datenbankstrukturen sowie formale Verifikation aufzeigt.