TY  - JOUR
AU  - V. E. Plisko
TI  - On arithmetic complexity of the predicate logics of complete constructive arithmetic theories
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1999
SP  - 221
EP  - 255
VL  - 5
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/FPM_1999_5_1_a12/
LA  - ru
ID  - FPM_1999_5_1_a12
ER  -