TY  - BOOK
AU  - Солодовников, В. В.
AU  - Какичев, Л. Г.
TI  - Основные понятия математической логики и теории алгоритмов
PY  - 1968///
CY  - Москва
PB  - Машиностроение
KW  - Алгоритмы
KW  - psbo
KW  - Математическая логика
ER  -