Dedekind completion as a method for cons
✍
Klaus Grue
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 277 KB