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

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

Библиографические подробности
Главный автор:	Клини С.К., Весли Р.
Формат:	‌
Язык:	Undetermined
Опубликовано:	М Наука 1978