TY  - BOOK
AU  - Варданян, В.А.
TI  - Нижние оценки арифметической сложности предикатных логик доказуемости и их фрагментов
T2  - Препринт
PY  - 1985///
CY  - М.
PB  - ВИНИТИ
N2  - Библиогр.: с. 24
ER  -