Formale Logik : logische Systeme Einführung in die Metalogik - Borkowski, Ludwik; Kreiser, Lothar, 1934- (Berlin : Akademie-Verlag, 1976)