MetalogikB1934@Logische Syntax der Sprache, Wien, 1934 gearbeitet. Nachmittags mit FeiglPFeigl, Herbert, 1902–1988, öst.-am. Philosoph, seit 1931 verh. mit Maria Feigl und GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker im CaféLWien!Café; über HilbertsPHilbert, David, 1862–1943, dt. Mathematiker neue Abhandlung (Tertium)BHilbert, David!1931@„Beweis des Tertium non datur“, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1931, 120-125; sehr bedenklich.80Hilbert, „Beweis des Tertium non datur“.