Mostrando 1 - 5 Resultados de 5 Para Buscar 'Girard, Jean-Yves', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Proof theory and logical complexity
    por Girard, Jean-Yves
    Publicado 1987
    Otros Autores: “…Girard, Jean-Yves…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca de la Universidad de Navarra)
    Libro
  2. 2
    Le fantôme de la transparence
    por Girard, Jean-Yves, 1947-
    Publicado 2016
    Otros Autores: “…Girard, Jean-Yves, 1947-…”
    Sumario
    Libro
  3. 3
    Proofs and types
    Libro
  4. 4
    Cinq conférences sur l'indécidabilité : organisées en 1982 à l'Ecole Nationale des Ponts et Chaussées dans le cadre du programme Sciences, Techniques et Société
    por Bouleau, Nicolas
    Publicado 1983
    Otros Autores:
    Libro
  5. 5
    Logique, dynamique et cognition
    por Bailly, Francis
    Publicado 2014
    Otros Autores:
    Electrónico

Herramientas de búsqueda: