The art of thinking Port-Royal logic - Arnauld, Antoine 1612-1694 (The Library of liberal arts, 1964)