LIBROS DEL AUTOR: justus diller

1 resultados para LIBROS DEL AUTOR: justus diller

  • Functional Interpretations
    Justus Diller
    This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals o...

    118,04 €