The great formal machinery works : theories of deduction and computation at the origins of the digital age
著者
書誌事項
The great formal machinery works : theories of deduction and computation at the origins of the digital age
Princeton University Press, 2017
- hbk.