TY  - JOUR
AU  - D. S. Shamkanov
TI  - A~realization theorem for the G\"{o}del-L\"{o}b provability logic
JO  - Sbornik. Mathematics
PY  - 2016
SP  - 1344
EP  - 1360
VL  - 207
IS  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_2016_207_9_a7/
LA  - en
ID  - SM_2016_207_9_a7
ER  -