Клини С.К

Основания интуиционистской математики с точки зрения теории рекурсивных функций

Математическая логика

Введение в метаматематику