Standard completeness theorem for
✍
Rostislav Horĉík
📂
Article
📅
2004
🏛
Springer
🌐
English
⚖ 183 KB