Collected works, volume 1 (1986)

by Kurt Gödel