TY  - SER
AU  - КУСЛИЙ,П.С.
TI  - ФОРМАЛЬНАЯ СЕМАНТИКА И ЕСТЕСТВЕННЫЙ ЯЗЫК
ER  -