Клини С. Основания интуиционистской математики с точки зрения теории рекурсивных функций / Клини Стефен, Весли Ричард; перевод с английского Ф. А. Кабакова, Б. А. Кушнера. - Москва: Наука, 1978. - 272 с. - (Математическая логика и основания математики). - Библиогр.: с. 254. - Указ. имен: с. 267. - Предм. указ.: с. 268. - Указ. обозн.: с. 270.Отраслевые рубрики: математика, математическая логика Ключевые слова: интуиционистская математика, интуиционистский анализ, интуиционистский континуум, исчисление предикатов, реализуемость, рекурсивные функции
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 1 | 1 | 0 |
| 
Блог Мишки Б.
