TY  - BOOK
ED  - Академия наук СССР
TI  - Исследования по теории алгорифмов и математической логике
PY  - 1973///-
CY  - Москва
PB  - ВЦ АН СССР
ER  -