Gentzen, G.: 1938, ‘The Present State of Research into the Foundations of Mathematics’, in M. E. Szabo (trans. and ed.), The Collected Works of Gerhard Gentzen, North-Holland Publishing Co., Amsterdam, 1969.Google Scholar