LIBROS DEL AUTOR: oiva ketonen

1 resultados para LIBROS DEL AUTOR: oiva ketonen

oiva ketonen Eliminar filtro Quitar filtros
  • Investigations into the Predicate Calculus
    Oiva Ketonen
    Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in Göttingen, with Ketonen hoping to receive a suitable topic for a doctoral dissertation and Gentzen instead deeply immersed in attempts at proving the consistency of analysis. Ketonen’s thesis of 1944, his only work in logi...
    Disponible

    18,99 €