Formale logik - Bochenski, Joseph M., 1902-1995 (Orbis academicus, 1956)