Decidability of Some Logics with Free Qu
✍
D. A. Anapolitanos; J. A. Väänänen
📂
Article
📅
1981
🏛
John Wiley and Sons
🌐
English
⚖ 342 KB