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