Основания интуиционистской математики с точки зрения теории рекурсивных функций С. К. Клини, Р. Весли ; перевод с английского Ф. А. Кабакова, Б. А. Кушнера
Сохранить в:
| Автор: | |
|---|---|
| Другие авторы: | |
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Наука 1978
|
| Рубрика: | |
| Ключевые слова: |