On the relation between intuitionist and classical arithmetic (1969)

by G Gentzen
Venue:in Gentzen (1969a), Chap