Капустин Юрий Сергеевич

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

1. Кванторная выразимость в логике предикатов
   
   Интеллектуальные системы. Теория и приложения, 26:2 (2022),  62–84