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