Поиск :
Личный кабинет :
Электронный каталог: Ершов, Юрий Леонидович - Математическая логика
Ершов, Юрий Леонидович - Математическая логика
Экз. чит. зала
Книга
Автор: Ершов, Юрий Леонидович
Математическая логика : Учеб. пособие
Издательство: Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Автор: Ершов, Юрий Леонидович
Математическая логика : Учеб. пособие
Издательство: Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Книга
51мл Е804
Ершов, Юрий Леонидович.
Математическая логика : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин . - 3. изд., стер . - Санкт-Петербург : Лань ; Москва : Краснодар, 2004 . - 336 с. : ил. - На рус. яз. - ISBN 5-8114-0533-2 : 181.28 .
ББК 22.12я73
основной = математика
основной = математика : математическая логика
основной = математика : математическая логика : исчисление высказываний
основной = математика : основания математики : теория множеств
основной = алгебраические системы
основной = математика : математическая логика : исчисление предикатов
основной = математика : математическая логика : теория моделей
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств
основной = алгоритмы
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
00000000417693 МАТУ 51мл Е804
00000000417694 МАТУ 51мл Е804
00000000417695 МАТУ 51мл Е804
00000000417696 МАТУ 51мл Е804
00000000161174 МАТЧ 51мл Е804
00000000417697 МАТУ 51мл Е804
51мл Е804
Ершов, Юрий Леонидович.
Математическая логика : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин . - 3. изд., стер . - Санкт-Петербург : Лань ; Москва : Краснодар, 2004 . - 336 с. : ил. - На рус. яз. - ISBN 5-8114-0533-2 : 181.28 .
ББК 22.12я73
основной = математика
основной = математика : математическая логика
основной = математика : математическая логика : исчисление высказываний
основной = математика : основания математики : теория множеств
основной = алгебраические системы
основной = математика : математическая логика : исчисление предикатов
основной = математика : математическая логика : теория моделей
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств
основной = алгоритмы
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
00000000417693 МАТУ 51мл Е804
00000000417694 МАТУ 51мл Е804
00000000417695 МАТУ 51мл Е804
00000000417696 МАТУ 51мл Е804
00000000161174 МАТЧ 51мл Е804
00000000417697 МАТУ 51мл Е804