Théorie de la preuve

Enseigné pour la première fois en 1840