The QED manifesto revisited (2007)

by F Wiedijk
Venue:University of Bialystok