Е 80 Ершов, Ю. Л. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов. - 4-е изд., стереотип. - СПб. : Лань, 2005. - 336 с. - (в пер.) : 178.97 р.
Рубрики: Математика--Математическая логика--Учебные издания Кл.слова (ненормированные): МАТЕМАТИКА -- логика -- математическая логика ~Экземпляры всего: 2 аб (1), ч/з (1) Свободны: аб (1), ч/з (1) |
И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для ВУЗов / В. И. Игошин. - [Б. м. : б. и.], 2004. - 448 с. - (Высшее профессиональное образование). - (в пер.) : 247.94 р.
Рубрики: Математика--Математическая логика--теория алгоритмов--Учебные издания для высших учебных заведений ~Экземпляры всего: 2 аб (1), ч/з (1) Свободны: аб (1), ч/з (1) |
Л 13 Лавров, Игорь Андреевич. Математическая логика [Текст] : учеб. пособ. для ВУЗов / И. А. Лавров ; ред. Л. Л. Максимова. - М. : Академия, 2006. - 240 с. - (Прикладная математика и информатика). - ISBN 5-7695-2735-8 (в пер.) : 168.00 р.
Рубрики: Математическая логика--Учебные издания для высших учебных заведений Кл.слова (ненормированные): Семантика -- СИНТАКСИС -- Классические аксиоматические теории Доп.точки доступа: Максимова, Л. Л. \ред.\ ~Экземпляры всего: 2 ф9 (2) Свободны: ф9 (2) |