Collected works 1929-1936 - Gödel, Kurt (474 s.)