Logique de Port Royal door Pierre Nicole & Antoine Arnauld