TY  - BOOK
AU  - Целищев, Виталий Валентинович
AU  -  Бессонов, Александр Владимирович
TI  - Две интерпретации логических систем
PY  - 1979///
CY  - Новосибирск
PB  - Наука. Сиб. отд-ние
KW  - ლოგიკური სემანტიკა
KW  - კვანტორი - ინტერპრეტაცია
N1  -  Библиогр.: с. 264-267
ER  -