The great formal machinery works theories of deduction and computation at the origins of the digital age - Von Plato, Jan (Cambridge, Massachusetts The MIT Press, 2017)
Electronic reproduction
Keywords: Information technology -- History; Computers -- History; Electronic books