Resultados de búsqueda

Materias dentro de su búsqueda.
  • Mostrando 1 - 1 Resultados de 1
Limitar resultados
  1. 1

    Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

    Publicado 1984
    Procedimiento de la Conferencia Libro