Mathematical Logic and the Origin of Modern Computers (1987)

by M Davis
Venue:Studies in the History of Mathematics (The Mathematical Association of America