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