Основания математики. Том 1: Логические исчисления и формализация арифметики Д. Гильберт, П. Бернайс Сравни цени!