Электронная книга

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age