The Port-Royal Logic by Pierre Nicole & Antoine Arnauld