A realization theorem for the Gödel-Löb provability logic
Shamkanov,D S
Sbornik: Mathematics(2016), 207 (9):1344

Please select one of the following sources for this article:
IOP PublishingIOP Publishing hosts the online versions of all Turpion journals, providing full text access for current subscribers and pay-per-view access for non-subscribers.
Turpion LtdTurpion continues to host content and provide online perpetual access to subscribed content for customers with subscriptions which lapsed before 2007.