Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen. Jörg Flum (1971) Archiv für mathematische Logik und Grundlagenforschung
Entropic Hopf algebras and models of non-commutative logic. Blute, Richard F., Lamarche, François, Ruet, Paul (2002) Theory and Applications of Categories [electronic only]