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