Socratic Proofs for Quantifiers★
✍
Andrzej Wiśniewski; Vasilyi Shangin
📂
Article
📅
2006
🏛
Springer Netherlands
🌐
English
⚖ 659 KB