This document is unfortunately not available for download at the moment.
1-2
Editorial note
Hintikka Jaakko
3-12
What hath Gödel wrought?
Dawson J. W.
13-23
On Gödel's philosophical assumptions
Hintikka Jaakko
25-40
Gödel and the concept of meaning in mathematics
Tymoczko Thomas
41-48
Length and structure of proofs
Parikh Rohit
49-98
The Transzendenz of mathematical "experience"
Boos William
99-160
Second thoughts around some of Gödel's writings
Georg Kreisel
Not implemented yet !