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