Hilbert's Program Then and Now
From MaRDI portal
Publication:6475950
DOI10.1016/B978-044451541-4/50014-2arXivmath/0508572MaRDI QIDQ6475950
Publication date: 29 August 2005
00A30: Philosophy of mathematics
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations