О работе по системному математическому описанию предмета современной символической логикидоклад на конференции