"Kurt Goedel: Essays for his Centennial" - читать интересную книгу автора (Feferman S., Parsons C., Simpson S.G. (eds.))