Е 80 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 7 Аб.2 (2), Ч.з.1 (5) Свободны: Аб.2 (2), Ч.з.1 (5) |
Е 80 Ершов, Ю. Л. Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р. Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) |