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

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

Bibliographic Details
Main Author:	Клини С.К., Весли Р.
Format:	Book
Language:	Undetermined
Published:	М Наука 1978