Donald MacKenzie
Sociology of Proof
Professor Donald MacKenzie, Visitor from the University of Edinburgh, November 3, 1997
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu