Port-Royal logic
Related entries include:
Arnauld Antoine
;