Ancient formal logic (North Holland Publishing Company., 1951)