Materias dentro de su búsqueda.
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.06s Limitar resultados
  1. 1
    por Taylor, John, 1957-
    Publicado 2014
    Libro
    Understanding mathematical proof
  2. 2
    por Stenlund, Sören
    Publicado 1972
    Libro
    Combinators, 2-terms and proof theory
Herramientas de búsqueda: RSS