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 | •• |
179255 |
|
Никольская И.Л. |
Математическая логика |
1981 | •• |
181185 |
|
Яковлев А.В. |
Математическая логика |
n/a | •• |
184444 |
|
Бигаева Л.А., Салиева М.С. |
Математическая логика |
2015 | •• |
184866 |
|
Колмогоров А.Н., Драгалин А.Г. |
Математическая логика |
2006 • | •• |
190347 |
|
Глухов М.М. |
Математическая логика |
1981 | •• |