Showing 1 - 8 results of 8 for search 'Girard Jean-Yves', query time: 0.01s Refine Results
  1. 1
    Le point aveugle : cours de logique : Tome 1 : Vers la perfection
    by Girard Jean-Yves
    Hermann DL 2006, cop. 2006
    Book
  2. 2
    The blind spot : lectures on logic
    by Girard Jean-Yves
    European Mathematical Society cop. 2011
    Book
  3. 3
    Le point aveugle : cours de logique : Tome 2 : Vers l'imperfection
    by Girard Jean-Yves
    Hermann impr. 2007, cop. 2007
    Book
  4. 4
    Contribution à l'étude de la vascularisation de la tête radiale
    by Girard Jean-Yves
    [s. n.] 1993
    Thesis
  5. 5
    Proofs and types
    by Girard Jean-Yves, Taylor Paul, Lafont Yves
    Cambridge University Press C 1989
    Book
  6. 6
    La machine de Turing
    Book
  7. 7
    Linear logic in computer science
    Cambridge university press 2004, cop. 2004
    Book
  8. 8
    Le Théorème de Gödel
    by Nagel Ernest
    Ed. du Seuil DL 1989
    Book
Search Tools: RSS Feed – Email Search – Save Search

Do you search an article ?

Check our how-to to find it.