LIBROS DEL AUTOR: ulrich kohlenbach

1 resultados para LIBROS DEL AUTOR: ulrich kohlenbach

ulrich kohlenbach Eliminar filtro Quitar filtros
  • Applied Proof Theory
    Ulrich Kohlenbach
    Preface.- Introduction.- Unwinding of proofs (`Proof Mining’).- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic systems and monotone modified realizability.- Gödel’s functional (`Dialectica’) interpretation.- Semi-intuitionistic systems and monot...
    Disponible

    144,96 €