| 54109 |
|
Соболев С.Л. |
Математическая логика и теория алгоритмов |
1982 | •• |
| 107514 |
|
Самохин А.В. |
Математическая логика и теория алгоритмов |
2003 | •• |
| 107625 |
|
Галиев Ш.И. |
Математическая логика и теория алгоритмов |
2002 | •• |
| 110315 |
|
Терехов Д.В., Куценко Д.А. |
Математическая логика и теория алгоритмов |
2007 | •• |
| 111011 |
|
Набебин А.А |
Математическая логика и теория алгоритмов |
2004 | •• |
| 112162 |
|
Анкудинов Г.И., Анкудинов И.Г., Петухов О.А. |
Математическая логика и теория алгоритмов |
2003 • | •• |
| 114677 |
|
Пантелеев М.Г. |
Математическая логика и теория алгоритмов |
n/a | •• |
| 131962 |
|
Стенюшкина В.А. |
Математическая логика и теория алгоритмов |
2004 | •• |
| 152339 |
|
Гамова А.Н. |
Математическая логика и теория алгоритмов |
1999 | •• |
| 164740 |
|
Гуц А.К. |
Математическая логика и теория алгоритмов |
2003 | •• |
| 173209 |
|
Пантелеев М.Г. |
Математическая логика и теория алгоритмов |
2002 | •• |
| 194222 |
|
Игошин В.И. |
Математическая логика и теория алгоритмов |
2008 • | •• |
| 109456 |
|
Радаев В.Н. |
Математическая логика и основы теории алгоритмов: Программа курса |
2004 | •• |
| 470 |
|
Гудстейн Р.Л. |
Математическая логика и основания математики. Рекурсивный математический анализ |
1970 | •• |
| 99229 |
|
Идельсон А.В., Минц Г.Е. |
Математическая логика и основания математики. Математическая теория логического вывода |
1967 | •• |
| 205754 |
|
П. С. НОВИКОВ |
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ |
1973 | •• |
| 206340 |
|
Р. ФЕЙС |
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ |
1974 | •• |
| 209353 |
|
Б.А. КУШНЕР |
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ |
1973 | •• |
| 110743 |
|
Нагел Э., Саппс П., Тарский А. |
Математическая логика и ее применения. Сборник статей |
1965 | •• |
| 10281 |
|
Нагел Э., Саппс П., Тарский А. |
Математическая логика и ее применения |
1965 | •• |
| 187603 |
|
Нагел Э., Саппс П., Тарский А. |
Математическая логика и ее применения |
1965 | •• |
| 3541 |
|
Чень Ч., Ли Р. |
Математическая логика и автоматическое доказательство теорем |
1983 | •• |
| 160263 |
|
Чень Ч., Ли Р. |
Математическая логика и автоматическое доказательство теорем |
1983 | •• |
| 149365 |
|
Бэкус Дж., Оппен Д., Скотт Д. |
Математическая логика в программировании. Сборник статей. |
1991 | •• |
| 183988 |
|
Захарьящева М.В., Янова Ю.И. |
Математическая логика в программировании. (сборник статей) |
1991 | •• |
| 36637 |
|
Захарьящев М.В. (ред.), Янова Ю.И. (ред.) |
Математическая логика в программировании |
1991 | •• |
| 158161 |
|
Плиско В.Е. |
Математическая логика (лекции) |
1998 | •• |
| 185139 |
|
Яковлев А.В. |
Математическая логика (лекции) |
n/a | •• |
| 540 |
|
Яковлев А.В. |
Математическая логика |
n/a | •• |
| 1370 |
|
Никольская И.Л. |
Математическая логика |
1981 | •• |
| 1419 |
|
Клини С. |
Математическая логика |
1973 | •• |
| 1446 |
|
Эдельман С.Л. |
Математическая логика |
1975 | •• |
| 3554 |
|
Ершов Ю.Л., Палютин Е.А. |
Математическая логика |
1987 • | •• |
| 3711 |
|
Шенфилд Дж. |
Математическая логика |
1975 | •• |
| 6295 |
|
Гладкий А.В. |
Математическая логика |
1998 | •• |
| 41077 |
|
|
Математическая логика |
1998 | •• |
| 53522 |
|
Плиско В.Е. |
Математическая логика |
1998 | •• |
| 107542 |
|
Клини С.К. |
Математическая логика |
1973 | •• |
| 107926 |
|
Гудстейн Р.Л. (Goodstein R.L.) |
Математическая логика |
1961 | •• |
| 109416 |
|
Лихтарников Л.М., Сукачева Т.Г. |
Математическая Логика |
1999 | •• |
| 109813 |
|
Шенфилд Дж. |
Математическая логика |
1975 | •• |
| 110088 |
|
Драгалин А.Г., Колмогоров А.Н. |
Математическая логика |
1984 | •• |
| 113075 |
|
Шенфилд Дж. |
Математическая логика |
1975 | •• |
| 117188 |
|
Глухов М.М. |
Математическая логика |
1981 | •• |
| 120749 |
|
Тимофеева И.Л. |
Математическая логика |
2007 • | •• |
| 146917 |
|
Гладкий А.В. |
Математическая логика |
1998 | •• |
| 160103 |
|
Шенфилд Дж. |
Математическая логика |
1975 | •• |
| 161451 |
|
Гладкий А.В. |
Математическая логика |
1998 | •• |
| 165591 |
|
Никольская И.Л. |
Математическая логика |
1981 | •• |
| 166547 |
|
Гудстейн Р.Л. |
Математическая логика |
1961 | •• |