Two notions of compactness in Gödel logi
✍
Petr Cintula
📂
Article
📅
2005
🏛
Springer Netherlands
🌐
English
⚖ 308 KB