The Challenge of Computer Mathematics (2005)

by H Barendregt, F Wiedijk
Venue:In