TY  - BOOK
AU  - Раца,Мефодий Федорович
AU  - Тайманов,А.Д.
ED  - Институт математики с ВЦ АН МССР
TI  - Выразимость в исчислениях высказываний
SN  - 5376009610
PY  - 1991///
CY  - Кишинев
PB  - Штиинца
KW  - Математическая логика
ER  -