Ancient formal logic - Bochenski, Joseph M., 1902-1995 (North-Holland, 1963)