Logique de Port Royal by Pierre Nicole & Antoine Arnauld