Búsqueda de LIBROS DEL AUTOR: buss s r

1 resultados

  • HANDBOOK OF PROOF THEORY
    BUSS, S.R.
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been incl...

    $2,988.00