Collected works / Kurt Gödel ; ed. by Solomon Feferman,... John W. Dawson, Jr. Stephen C. Kleene, Gregory H. Moore ... prepared under the auspices of the Association for symbolic logic
Date : 1986
Editeur / Publisher : New York : Oxford university press , 1986-