"David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933" - читать интересную книгу автора (William Ewald, Wilfried Sieg (Eds.))