Весли Р

Изданий в каталоге: 1

Основания интуиционистской математики с точки зрения теории рекурсивных функций
1978; совм. с Клини С.К