Веб
Каталог
Расширенный поиск
Нехудожественная литература
→
Наука. Техника. Медицина
→
Научная и техническая литература
→
Естественные науки
→
Физико-математические науки
→
Математика
→
Основания математики. Математическая логика
Сортировать по:
году,
названию
,
автору
(
Я → А
)
Результаты
1
-
20
из примерно
23
.
Конструктивная теория доказательств и нестандартный анализ
Автор:
А. Г. Драгалин
Год:
2003
Элементарные рекурсивные функции
Автор:
С. С. Марченков
Год:
2003
Категории для работающего математика
Автор:
С. Маклейн
Год:
2004
Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер
Автор:
Б. В. Бирюков
Год:
2005
Величины и числа. Популярные очерки
Автор:
Л. М. Фридман
Год:
2006
А. А. Марков. Избранные труды. Том 2. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы
Автор:
А. А. Марков
Год:
2007
Рассказы о множествах
Автор:
Н. Я. Виленкин
Год:
2007
Введение в метаматематику
Автор:
С. К. Клини
Год:
2008
Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства
Автор:
В. А. Звегинцев
Год:
2008
Многозначные логики и их применения. Том 2. Логики в системах искусственного интеллекта
Автор:
В. А. Геловани, А. А. Пионтковский
Год:
2008
Математическая логика
Автор:
С. К. Клини
Год:
2008
Минимум по теории алгоритмов для нематематиков
Автор:
Ю. А. Шиханович
Год:
2009
Распределение Пирсона, Джонсона, Вейбулла и обратное нормальное. Оценивание их параметров
Автор:
Б. А. Бостанджиян
Год:
2009
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Автор:
Ю. А. Гастев
Год:
2009
Введение в математическую логику. Том 1
Автор:
А. Черч
Год:
2009
Русская вероятностная логика. Азбука математической логики
Автор:
В. И. Лобанов
Год:
2009
Сложностный метод теории алгоритмов
Автор:
В. А. Шурыгин
Год:
2009
Основания теории множеств
Автор:
А. А. Френкель, И. Бар-Хиллел
Год:
2010
Теория множеств и континуум-гипотеза
Автор:
П. Дж. Коэн
Год:
2010
Основы теоретической логики
Автор:
Д. Гильберт, В. Аккерман
Год:
2010
1
2
→