Тищенко С И

Публикации в базе данных Math-Net.Ru

1. Дедуктивный вывод с использованием необходимых и достаточных условий выводимости в исчислении предикатов первого порядка
   
   Автомат. и телемех., 1993, № 9,  136–153