Поиск :
Личный кабинет :
Электронный каталог: Ершов, Ю.Л. - Математическая логика
Ершов, Ю.Л. - Математическая логика
Доступно
1 из 1
1 из 1
Книга
Автор: Ершов, Ю.Л.
Математическая логика : учебное пособие
Серия: Учебники для вузов. Специальная литература
Издательство: Лань, 2005 г.
ISBN 5-8114-0533-2
Автор: Ершов, Ю.Л.
Математическая логика : учебное пособие
Серия: Учебники для вузов. Специальная литература
Издательство: Лань, 2005 г.
ISBN 5-8114-0533-2
Заказать 
На полку
Книга
22.1 Е80
Ершов, Ю.Л.
Математическая логика : учебное пособие / Ю.Л. Ершов, Е.А. Палютин. – 5-е издание, стереотипное. – Санкт-Петербург : Лань, 2005. – 336 с. – (Учебники для вузов. Специальная литература) . – ISBN 5-8114-0533-2.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.
ББК 22.1
Е80
22.1 Е80
Ершов, Ю.Л.
Математическая логика : учебное пособие / Ю.Л. Ершов, Е.А. Палютин. – 5-е издание, стереотипное. – Санкт-Петербург : Лань, 2005. – 336 с. – (Учебники для вузов. Специальная литература) . – ISBN 5-8114-0533-2.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.
ББК 22.1
Е80
| Филиал | Фонд | Всего | Доступно для выдачи |
|---|---|---|---|
| Открытое шоссе | ЧЗ | 1 | 1 |