Исследование силлогистических теорий средствами символической логикидиссертация