A modal provability logic of explicit an
✍
Evan Goris
📂
Article
📅
2009
🏛
Elsevier Science
🌐
English
⚖ 830 KB