TY  - JOUR
AU  - T. L. Sidon
TI  - Provability logic with operations over proofs
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1997
SP  - 1173
EP  - 1197
VL  - 3
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1997_3_4_a17/
LA  - ru
ID  - FPM_1997_3_4_a17
ER  -