Title: Mathematical logic and its applications
Subjects: Congresses, Symbolic and mathematical Logic
People: Kurt Gödel (1906-1978)