Gödel’s Collected Works (1980)

by S Feferman, ed