Decomposition Proof Systems for Gödel-Du
✍
Arnon Avron; Beata Konikowska
📂
Article
📅
2001
🏛
Springer Netherlands
🌐
English
⚖ 265 KB