A Sequent Calculus for Propositional Dyn
✍
J. Sakalauskaitė
📂
Article
📅
2004
🏛
Springer
🌐
English
⚖ 82 KB