“Everywhere” in predicate algebra and mo
✍
Rutger M. Dijkstra
📂
Article
📅
1996
🏛
Elsevier Science
🌐
English
⚖ 574 KB