| Страницы (по 30 записей на одной странице):
1 2 3 4 [с 1 по 30]
|
В конец списка |
|
|
|
|
|
|
| Алгоритмическая теория обратимости операторов | Шурыгин В.А. |
| 510.52 | Математика. Естественные науки | 1 |
| Альтернативная теория множеств. Новый взгляд на бесконечность: Пер. со словац. | Вопенка П. |
| 510.22 | Математика. Естественные науки | 1 |
| Введение в теорию множеств и общую топологию | Александров П.С. |
| 510.22:515.12 | Математика. Естественные науки | 1 |
| Введение в математическую логику : пер с англ. | Мендельсон Э;Кабаков Ф.А. (пер.) |
| 510.6 | Математика. Естественные науки | 1 |
| Введение в теорию множеств и общую топологию: Учеб. пособие для вузов матем. спец. | Александров П.С. |
| 510.22:515.12 | Математика. Естественные науки | 1 |
| Вопросы алгебры и логики | Ершов Ю,Л. |
| 510.6 | Математика. Естественные науки | 1 |
| Вычислимые функции | Верещагин Н.К., Шень А. |
| 510.5 | Математика. Естественные науки | 1 |
| Вычислительные системы: Сб. науч. тр. | |
| 510.6 | Математика. Естественные науки | 1 |
| Вычислительные системы: Сб. науч. тр. | |
| 510.6 | Математика. Естественные науки | 1 |
| Вычислительные системы: Сб. науч. тр. | |
Вып.114: Логические вопросы теории типов данных
| 510.6 | Математика. Естественные науки | 1 |
| Дискретная математика: Основные теоретико-множественные конструкции. Учебное пособие | Грузман В.А., Прокопчук Ю.Ю., Широков А.И. |
| 510.5 | Математика. Естественные науки | 1 |
| Жемчужины теории формальных языков: Пер. с англ. | Саломаа А. |
| 510.6 | Математика. Естественные науки | 1 |
| Задачи и упражнения по математической логике и теории алгоритмов: Учеб. пособие для вузов | Игошин В.И. |
| 510.6 | Математика. Естественные науки | 1 |
| Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие: 4-е изд. | Игошин В.И. |
| 510.6 | Математика. Естественные науки | 1 |
| Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: Учеб. пособие | Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б. |
| 510 | Математика. Естественные науки | 1 |
| Задачи по теории множеств, математической логике и теории алгоритмов: 3-е изд. | Лавров И.А., Максимова Л.Л. |
| 510.6 | Математика. Естественные науки | 1 |
| Замкнутые классы булевых функций | Марченков С.С., Угольников А.Б. |
| 510 | Математика. Естественные науки | 1 |
| Занятия логикой | Шуранов Б.М. |
| 510.6 | Математика. Естественные науки | 1 |
| Избранные труды. Теория множеств и функций. Математическая логика и алгебра | Новиков П.С. |
| 510.6 | Математика. Естественные науки | 1 |
| Курс лекций по основам теории множеств и интеграла Лебега | Филатов О.П. |
| 510.2 | Математика. Естественные науки | 1 |
| Ламбда-исчисление: Его синтаксис и семантика | Барендрегт Х.; (Пер. с англ.) Г.Е. Минца |
| 510.2 | Математика. Естественные науки | 1 |
| Лекции по математике | Босс В. |
Т.6: От Диофанта до Тьюринга
| 510.6 | Математика. Естественные науки | 1 |
| Лекции по математике | Босс В. |
Т.10: Перебор и эффективные алгоритмы
| 510.52 | Математика. Естественные науки | 1 |
| Лекции по математике | Босс В. |
Т.16: Теория множеств: от Кантора до Коэна
| 510.22 | Математика. Естественные науки | 1 |
| Лекции по математике | Босс В. |
Т.6: Алгоритмы, логика, вычислимость. От Диофанта до Тью
| 510.6 | Математика. Естественные науки | 1 |
| Лекции по математики | Босс В. |
Т.6: Алгоритмы, логика, вычислимость. От. Диофанта до Тьюринга и Геделя.- 3-е изд.
| 510.6 | Математика. Естественные науки | 1 |
| Лекции по математической логике и теории алгоритмов | Верещагин Н.К., Шень А. |
Ч.1: Начала теории множеств
| 510.22 | Математика. Естественные науки | 1 |
| Лекции по математической логике и теории алгоритмов | Верещагин Н.К., Шень А. |
| 510.6 | Математика. Естественные науки | 1 |
| Лекции по математической логике и теории алгоритмов | Верещагин Н.К. |
Ч. 3: Вычислимые функции: 2-е изд., испр.
| 510.5 | Математика. Естественные науки | 1 |
| Логика | Ивлев Ю.В. |
| 510.6 | Математика. Естественные науки | 1 |
|
| Страницы (по 30 записей на одной странице):
1 2 3 4 [с 1 по 30]
|
В начало списка |
