Клини С. , Весли Р.

Основания интуиционистской математики с точки зрения теории рекурсивных функций = The foundations of intuitionistic mathematics, especially in relation to recursive functions
 
 
 
Москва: Наука, 1978
Number of pages: 270
Перевод с английского: Кабакова Ф.А., Кушнер Б.А.
 

No view is available.

Bibliographic description

MARC record