The great formal machinery works : theories of deduction and computation at the origins of the digital age - Von Plato, Jan, 1951- (Princeton University Press, 2017)