Математическая логика/Ершов, Ю.Л.

Математическая логика/Ершов, Ю.Л.

http://elib.wku.edu.kz/en/elib/document/9483853/

22.12
Е 80
Ершов, Ю. Л.
    Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.

ББК 22.12

Рубрики: Основания математики. Математическая логика

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ

Доп.точки доступа:
Палютин, Е.А.

Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)

QR code of document