TY  - BOOK
AU  - Лавров, Игорь Андреевич
ED  - Новосибирский гос. ун-т. Б-ка кафедры алгебры и матем. логики. Вып.7.
TI  - Логика и алгоритмы: Лекции для слушателей ФПК при НГУ 
PY  - 1970///
CY  - Новосибирск
KW  - მათემატიკური ლოგიკა
KW  - ალგორითმები
ER  -