База данных: Электронный Каталог
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
Палютин, Е. А.
Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели
Доп.точки доступа:
Ершов Ю.Л,
Палютин, Е. А.
Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели
Доп.точки доступа:
Ершов Ю.Л,
Беті 1, Нәтижелерін: 1