TY  - JOUR
AU  - V. N. Krupski
TI  - On symbolic models for Single-Conclusion Logic of Proofs
JO  - Sbornik. Mathematics
PY  - 2011
SP  - 683
EP  - 695
VL  - 202
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_2011_202_5_a3/
LA  - en
ID  - SM_2011_202_5_a3
ER  -