The challenge of computer mathematics
✍
Barendregt, Henk; Wiedijk, Freek
📂
Article
📅
2005
🏛
The Royal Society
🌐
English
⚖ 378 KB