LIBROS DEL AUTOR: rolf socher ambrosius

1 resultados para LIBROS DEL AUTOR: rolf socher ambrosius

rolf socher ambrosius Eliminar filtro Quitar filtros
  • Deduction Systems
    Patricia Johann / Rolf Socher-Ambrosius
    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 logic, but also the ancestor of all formal languages, incl...
    Disponible

    66,61 €