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