Recherches sur la theorie de la demonstration (1930)

by J Herbrand