Title: Collected Works: Volume I
Subjects: Goedel, kurt, 1906-1978, Logic, symbolic and mathematical, Mathematics, philosophy