TY  - BOOK
AU  - Лавров, И. А.
ED  - Новосибирский государственный университет
TI  - Логика и алгоритмы
T2  - [Труды]
VL  - вып. 7
PY  - 1970///
CY  - Новосибирск
KW  - Математическая логика
KW  - Учебные издания для высших учебных заведений
KW  - RU\NLR\AUTH\6620994
KW  - Алгоритмы
KW  - RU\NLR\AUTH\6622994
KW  - Ю4в11я73-1
KW  - rubbk
KW  - В12я73-1
ER  -