Title: Kurt Godel
Subjects: Goedel, kurt, 1906-1978, Logic, symbolic and mathematical