TY  - BOOK
AU  - Беклемишев, Л. Д.
TI  - О классификации логик доказуемости
T2  - Доклады по математике и ее прил
VL  - МИАН 1988 № 4
PY  - 1988///
CY  - М.
PB  - МИАН
N2  - Библиогр.: с. 43
ER  -