On the relation between intuitionist and classical arithmetic (1969)

by G Gentzen