Defining reals without the use of ration
✍
N.G de Bruijn
📂
Article
📅
1976
🏛
Elsevier Science
⚖ 571 KB