TY  - JOUR
AU  - E. Yu. Nogina
TI  - Grzegorczyk logic with arithmetical proof operators
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1996
SP  - 483
EP  - 499
VL  - 2
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1996_2_2_a5/
LA  - ru
ID  - FPM_1996_2_2_a5
ER  -