TY  - BOOK
AU  - Ефремов,Георгий Осипович
TI  - Математическая логика и машины / 
T2  - Новое в жизни, науке, технике
PY  - 1962///
CY  - Москва
PB  - Знание
KW  - Математическая логика
KW  - Математические машины и приборы
ER  -