David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 / William Ewald, Wilfried Sieg editors ; Michael Hallet associate editor ; in collaboration with Ulrich Majer and Dirk Schlimm.
Pubblicazione:
Heidelberg : Springer, c2013.
Descrizione fisica:
XXV, 1062 p. : ritr. ; 24 cm
Serie:
David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 ; 3
Note:
Testi orig.
Contiene:
Indice: Preface. The editing and reproduction of the texts. Introduction. 1. Lectures on the principles of mathematics (1917/18) 2. Lectures on logic (1920) 3. Lectures on proof theory (1921/22-1923/24) 4. Lectures on the infinite (1924/25, 1931, 1933). Appendices. Hilbert's lectures courses (1886-1934). Bibliography. Name index. Subject index
