Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - 322.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- учебное пособие для вузов -- теория множеств -- алгебраические системы -- эквивалентность -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- истинность Экземпляры всего: 14 2к (14) Свободны: 2к (14) |