bn:03394934n
Noun Named Entity
ES
Jean-Yves Girard
EN
Jean-Yves Girard is a French logician working in proof theory. Wikipedia
Relations
Sources