Résultat(s) 1 - 8 résultats de 8 pour la requête 'Girard Jean-Yves', Temps de recherche: 0,03s Affiner les résultats
  1. 1
    Contribution à l'étude de la vascularisation de la tête radiale
    par Girard Jean-Yves
    [s. n.] 1993
    Thèse ou mémoire
  2. 2
    Le point aveugle : cours de logique : Tome 2 : Vers l'imperfection
    par Girard Jean-Yves
    Hermann impr. 2007, cop. 2007
    Livre
  3. 3
    The blind spot : lectures on logic
    par Girard Jean-Yves
    European Mathematical Society cop. 2011
    Livre
  4. 4
    Le point aveugle : cours de logique : Tome 1 : Vers la perfection
    par Girard Jean-Yves
    Hermann DL 2006, cop. 2006
    Livre
  5. 5
    Proofs and types
    par Girard Jean-Yves, Taylor Paul mathématicien, Lafont Yves
    Cambridge University Press C 1989
    Livre
  6. 6
    La machine de Turing
    Livre
  7. 7
    Linear logic in computer science
    Cambridge university press 2004, cop. 2004
    Livre
  8. 8
    Le Théorème de Gödel
    par Nagel Ernest
    Ed. du Seuil DL 1989
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.