Wilfried Sieg. In the Shadow of Incompleteness: Hilbert and Gentzen. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 87-127, Springer, 2012. [doi]
@incollection{Sieg12,
title = {In the Shadow of Incompleteness: Hilbert and Gentzen},
author = {Wilfried Sieg},
year = {2012},
doi = {10.1007/978-94-007-4435-6_5},
url = {http://dx.doi.org/10.1007/978-94-007-4435-6_5},
researchr = {https://researchr.org/publication/Sieg12},
cites = {0},
citedby = {0},
pages = {87-127},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf},
editor = {Peter Dybjer and Sten Lindström and Erik Palmgren and Göran Sundholm},
volume = {27},
series = {Logic, Epistemology, and the Unity of Science},
publisher = {Springer},
isbn = {978-94-007-4435-6},
}