TY  - BOOK
AU  - Марков,А.А.
ED  - Академия наук СССР
TI  - Исследования по теории алгоритмов и математической логике
U1  - 51.01:16 
PY  - 1979///
CY  - Москва
PB  - Наука
KW  - Математика
KW  - Математическая логика
N1  - Библиогр. в конце главы
ER  -