Title: Sotto il segno di Gödel
Subjects: Proof theory, Logic
People: Kurt Gödel (1906-1978)