Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - М. : Наука, 1979. - 320 с. : ил. - 0.80 р.
Кл.слова (ненормированные): Математика -- рекурсивные функции -- алгоритмы -- теория доказательств -- теория моделей -- эквивалентность -- алгебраические системы -- теория множеств -- учебное пособие для вузов -- математическая логика Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - 322.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- учебное пособие для вузов -- теория множеств -- алгебраические системы -- эквивалентность -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- истинность Экземпляры всего: 14 2к (14) Свободны: 2к (14) |
Ш47 Шенфилд, Д. Математическая логика [Текст] / Д. Шенфилд; пер. с англ. И.А. Лаврова, и И.А. Мальцева; под ред. Ю.Л. Ершова. - М. : Наука, 1975. - 527 с. - (Математическая логика и основания математики). - 2.16 р.
Кл.слова (ненормированные): Математика -- теоремы -- теория моделей -- неразрешимость -- натуральные числа -- теория множеств -- основания математики -- математическая логика Доп.точки доступа: Ершов, Ю.Л. \ред.\ Экземпляры всего: 2 2к (2) Свободны: 2к (2) |