Title: Kurt Gödel - Collected Works
Subjects: Logic, symbolic and mathematical