Antoine Arnauld (1612-1694), philosopher and Jansenist theologian.

Stanford Encyclopedia of Philosophy

* Antoine Arnauld (Elmar Kremer)

Internet Archive

In English:

* Logic, or the Art of Thinking (1693)

* Logic, or the Art of Thinking (1850)

* Leibniz, Discourse on metaphysics; Correspondence with Arnauld, and Monadology

* (with Pierre Nicole) The Perpetuity of the Faith of the Catholic Church on the Eucharist (1834)

In French:

* Instructions sur la grace selon l'Ecriture et les peres (1700)

* (with Pierre Nicole) La logique ou L'art de penser

* La condvite canoniqve de l'eglise povr la reception des filles dans les monasteres

* Oeuvres -- writings against the Jesuits

* Des vrayes et des fausses idées (1724)

* Lettres (1727)

* (with Claude Lancelot) Grammaire générale et raisonnée, contenant les fondemens de l'art de parler (1780)

* Oeuvres Philosophiques de Antoine Arnauld (1843) -- Consists of the dispute between Arnauld and Malebranche

Google Book

* The Port-Royal Logic (1861)

* Oeuvres: Tome 5, Tome 9

Miscellaneous

* Arnauld at the Catholic Encyclopedia

* Gallica is one of the best places to find Francophone philosophy from the early modern period; the list for Arnauld is quite impressive.