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