"Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)" - читать интересную книгу автора (Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds))