Collected Works, volume I (1986)

by Kurt Gödel