Formale Logik Logische Systeme : Einführung in die Metalogik - Borkowski, Ludwik; Kreiser, Lothar; Meyer, Karl Jürgen; Beschoner, Karl-Heinz (Berlin : Akademie - Verlag, 1976)
Aus dem Polnischen