В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
 

Системы силлогистики, адекватные двум переводам силлогистических формул в исчисление предикатов В.А. Смирновастатья