Logique by Pierre Nicole & Antoine Arnauld