Recherches sur la théorie de la démonstration — Jacques Herbrand