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