1
Published 2013
Springer Berlin Heidelberg
...; the birth and evolution of proof theory, and the parallel emergence of Hilbert’s finitist standpoint...