Recherches sur la théorie de la démonstration (1930)

by Jacques Herbrand