The Automation of Proof: An Historical and Sociological Exploration (1995)

by D MacKenzie
Venue:IEEE Annals of the History of Computing