Collected works: Volume II (2001)

by K Gödel