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