TY  - BOOK
AU  - Герасимова,Ирина Алексеевна
TI  - Формальная грамматика и интенсиональная логика
SN  - 5201020240
PY  - 2000///
CY  - М.
PB  - б. и. 
KW  - русский язык
KW  - интенсиональная логика
KW  - формальные грамматики
KW  - естественные языки
KW  - семантика
KW  - теоретико-типовые языки
KW  - эпистемические модальности
KW  - музыкальная нотация
N1  - Библиогр.: с. 150-156
ER  -