The Challenge of Computer Mathematics, in (2005)

by H Barendregt, F Wiedijk
Venue:Transactions A of the Royal Society