"Logical Dilemmas: The Life and Work of Kurt Gödel " - читать интересную книгу автора (John W. Dawson, Jr.)