On the consistency of arithmetic (1931)

by Jacques Herbrand
Venue:in Logical Writings