Page 172 - Textos de Matemática Vol. 40

160 Bibliography
[Ham99] Fritz Hamm. Modelltheoretische Untersuchungen zur Semantik von Nominalisierungen. Habilitationsschrift, Universit¨at Tu¨bingen, 1999.
[Has06a] Ulf Hashagen. Johann Ludwig Neumann von Margitta (1903–1957). Informatik Spektrum, 29(2):133–141, 2006. Teil 1: Lehrjahre eines ju¨dischen Mathematikers w¨ahrend der Zeit der Weimarer Republik.
[Has06b] Ulf Hashagen. Johann Ludwig Neumann von Margitta (1903–1957). Informatik Spektrum, 29(3):227–236, 2006. Teil 2: Ein Privatdozent auf dem Weg von Berlin nach Princeton.
[HB34] David Hilbert and Paul Bernays. Grundlagen der Mathematik I. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstel- lungen, 40. Springer, 1934. 2. Auflage 1968.
[HB39] David Hilbert and Paul Bernays. Grundlagen der Mathematik II. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstel- lungen, 50. Springer, 1939. 2. Auflage 1970.
[Hil05a] David Hilbert. Logische Principien des mathematischen Denkens. Vorlesung Sommersemester 1905, Ausarbeitung von Ernst Hellinger (Bibliothek des Mathematischen Instituts der Universit¨at G¨ottin- gen), 1905.
[Hil05b] David Hilbert. Logische Principien des mathematischen Denkens. Vorlesung Sommersemester 1905, Ausarbeitung von Max Born (Nie- ders¨achsische Staats- und Universit¨atsbibliothek G¨ottingen, Cod. Ms. D. Hilbert 558a), 1905.
[Hil05c] David Hilbert. U¨ber die Grundlagen der Logik und der Arithmetik. In Adolf Krazer, editor, Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904, pages 174–185. Leipzig, 1905.
[Hil15] David Hilbert. Probleme und Prinzipien der Mathematik. Hand- schriftliche Notizen zur Vorlesung im Wintersemester 1914/15, (Nieders¨achsische Staats- und Universit¨atsbibliothek G¨ottingen, Cod. Ms. D. Hilbert 559), 1914/15.
[Hil17] David Hilbert. Mengenlehre. Vorlesung Sommersemester 1917, Ausarbeitung (Bibliothek des Mathematischen Instituts der Univer- sit¨at G¨ottingen), 1917.
[Hil20] David Hilbert. Probleme der mathematischen Logik. Vorlesung Som- mersemester 1920, Ausarbeitung von N. Sch¨onfinkel und P. Bernays (Bibliothek des Mathematischen Instituts der Universit¨at G¨ottin- gen), 1920.