Formale Logik - Bochenski, Jozef Maria (Orbis Academicus, 1956)