"Математика и логика. Ретроспектива и перспективы" - читать интересную книгу автора (Кац М., Улам С.М.(Kac M., Ulam S.M.))