Ancient formal logic - Bochenski I M (Amsterdam North Holland Pun, 1951)