Logique de Port-Royal £By A. Arnauld and P. Nicole]. Suivie door Antoine Arnauld