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