Електронний каталог
Класифікатори
22.12 Основи математики. Математична логіка
22.122 Математична логіка
Документи:
Гуц, А. К.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / А. К. Гуц. – Омск : Изд-во Наследие ; Диалог-Сибирь, 2003. – 108 с. – ISBN 5-8239-0126-7.
Інформаційно-пошукова система
'УФД/Бібліотека'