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