Teaching Cash Register
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128
Kurt Godel: Unpublished Philosophical Essays
Disappearance of Time: An Essay on the Philosophy of Kurt Godel
Logical Dilemmas: The Life and Work of Kurt Godel