https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 К упрощению сколемовых функций в булевых формулах с кванторами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000449453 Mon 02 Sep 2019 10:39:22 KRAT ]]>