22.1
   Е 80


    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
учебное пособие для вузов -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 7
Аб.2 (2), Ч.з.1 (5)
Свободны: Аб.2 (2), Ч.з.1 (5)