Logique de Port-Royal by Blaise Pascal, Antoine Arnauld & Charles Jourdain