Provability, truth, and modal logic
✍
George Boolos
📂
Article
📅
1980
🏛
Springer Netherlands
🌐
English
⚖ 313 KB