22.12
   Е 80


    Ершов, Ю. Л.
    Математическая логика [Text] : учеб. пособие / Ю.Л. Ершов, Е.А. Палютин. - 4-е изд., стер. - СПб. [и др.] : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 191.90 р.
ББК 22.122я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- алгебраические системы -- теория доказательств -- алгоритмы -- рекурсивные функции


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