Collected Works, volume 1 (1986)

by K Gödel