Rolf Socher-Ambrosius – författare
Visar alla böcker från författaren Rolf Socher-Ambrosius. Handla med fri frakt och snabb leverans.
2 produkter
Deduction Systems
Av Patricia Johann, Rolf Socher-Ambrosius
E-bok, 2012
708 kr
Lägg i varukorg
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege''s 1879 Begriffsschrift-"not only the direct ancestor of contemporary systems of mathematical …
Deduction Systems
Av Rolf Socher-Ambrosius, Patricia Johann
Häftad, 2011
566 kr
Lägg i varukorg
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege's 1879 Begriffsschrift-"not only the direct ancestor of contemporary systems of mathematical …
