517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука , 1987. - 336 с. - Предм. указ.: с. 335-336. - 0.95 р., 1.10 р.
Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРИЯ МОДЕЛЕЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 10 Х (1), АБЗ (9) Свободны: Х (1), АБЗ (9) |