The challenge of computer mathematics (2005)

by Henk Barendregt , Freek Wiedijk
Venue:Royal Society of London Transactions Series A
Citations:13 - 0 self