LIBROS DEL AUTOR: s stenlund

1 resultados para LIBROS DEL AUTOR: s stenlund

s stenlund Eliminar filtro Quitar filtros
  • Combinators, λ-Terms and Proof Theory
    S. Stenlund
    The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the prese...
    Disponible

    134,38 €