Электронный каталог

Книга
51 Е804

Ершов, Юрий Леонидович.
Математическая логика : [Учеб. пособие для мат. спец. вузов] / Ю. Л. Ершов, Е. А. Палютин. – 2. изд., испр. и доп. . – Москва : Наука, 1987. – 336 с. : ил. – На рус. яз. : 0.95.

ББК 22.12я73

основной = математика
основной = математика : математическая логика
основной = математика : математическая логика : исчисление высказываний
основной = математика : основания математики : теория множеств
основной = алгебраические системы
основной = математика : математическая логика : исчисление предикатов
основной = математика : математическая логика : теория моделей
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств
основной = алгоритмы
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
основной = виды изданий : учебные издания
основной = читательское назначение : вузы

00000001056081 ЮЗН 51 Е804
00000001056080 ЮЗН 51 Е804
00000000417698 МАТУ 51мл Е804
00000000417699 МАТУ 51мл Е804
00000000417700 МАТУ 51мл Е804
00000000417701 МАТУ 51мл Е804
00000000417702 МАТУ 51мл Е804
00000000417703 МАТУ 51мл Е804