(Q3087821)

English

Jean-Yves Girard

French logician

Statements

Girard.jpg
480 × 360; 13 KB
Jean-Yves Girard en 2000 lors de sa conférence sur les fondements des mathématiques. (French)
0 references
Jean-Yves Girard (French)
0 references
0 references
0 references
1 reference
Jean-Yves Girard - The Mathematics Genealogy Project (English)
22 January 2017

Identifiers

0 references
0 references
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit