|
|
 |
| Результат поиска |
Поиск книг, содержащих: Мартин-Лёф
| Книга | Страницы для поиска | | Секей Г. — Парадоксы в теории вероятностей и математической статистике | IV/3, 4 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 26, 434 | | Саймон Б. — Модель $Р(\phi)_2$ эвклидовой квантовой теории поля | 341 | | Зайлер Э. — Калибровочные теории | 37,41 | | Гренандер У. — Лекции по теории образов (Том 3. Регулярные структуры) | 17, 418 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 185, 189, 196, 207, 214 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 7, 34, 35, 188, 245 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 262 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 416, 424 | | Мартин-Лёф П. — Очерки по конструктивной математике | 118 | | Мартин Н., Ингленд Дж. — Математическая теория энтропии | 6 | | Лихтенберг А., Либерман М. — Регулярная и стохастическая динамика | 306 | | Матиясевич Ю.В. — Десятая проблема Гильберта | 162, 204 |
|
|
|
|
О проекте