Лавров, Игорь Андреевич Логика и алгоритмы. Лекции для слушателей ФПК при НГУ / Игорь Лавров ; Новосиб. гос. ун-т. Б-ка кафедры алгебры и матем. логики. Вып.7. - Новосибирск, 1970. - 173 с. Subjects--Index Terms: მათემატიკა ალგორითმების თეორია მათემატიკური ლოგიკა Universal Decimal Class. No.: 517.11