Основания интуиционистской математики с точки зрения теории рекурсивных функций С. К. Клини, Р. Весли ; перевод с английского Ф. А. Кабакова, Б. А. Кушнера
Сохранить в:
| Автор: | |
|---|---|
| Другие авторы: | |
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Наука 1978
|
| Рубрика: | |
| Ключевые слова: |
| LEADER | 01484nam0a2200301 i 4500 | ||
|---|---|---|---|
| 001 | F478F7A9-BD96-4CC4-8D32-151A1B5789F6 | ||
| 100 | |a 20190430d1978 k y0rusy02 ca | ||
| 101 | 1 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a y zz 000#y | ||
| 200 | 1 | |a Основания интуиционистской математики с точки зрения теории рекурсивных функций |f С. К. Клини, Р. Весли ; перевод с английского Ф. А. Кабакова, Б. А. Кушнера | |
| 210 | |a Москва |c Наука |d 1978 | ||
| 215 | |a 271с. |d 20 см | ||
| 225 | 2 | |a Математическая логика и основания математики | |
| 320 | |a Библиография: с. 254-266. - Указатели именной, предметный и обозначений: с. 267-271 | ||
| 454 | 0 | |1 7001 |a Kleene S. C. |1 7011 |a Vesley R. E. |1 2001 |a The foundations of intuitionistic matcs especially in relation to recursive functions |1 2101 |a Amsterdam |d 1965 | |
| 606 | |a Интуиционизм (филос.) | ||
| 606 | |a Математика |x Философские проблемы | ||
| 686 | |a 22 |2 rubbk | ||
| 686 | |a 27 |2 rugasnti | ||
| 700 | 1 | |a Клини |b С. К. |g Стефен Коул | |
| 701 | 1 | |a Весли |b Р. |g Ричард | |
| 702 | 1 | |a Кабаков |b Ф. А. |4 730 | |
| 702 | 1 | |a Кушнер |b Б. А. |4 730 | |
| 801 | 0 | |b ГПНТБ России |a RU |c 20190430 | |