Таутс А

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

1. Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка
   
   Сиб. матем. журн., 31:1 (1990),  150–160
2. Нерегулярное исчисление предикатов первого порядка
   
   Алгебра и логика, 8:1 (1969),  76–92