Jean-Yves Girard

Jean-Yves Girard (; born 1947) is a French logician working in proof theory. He is a research director (emeritus) at the mathematical institute of University of Aix-Marseille, at Luminy. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Girard, Jean-Yves', query time: 0.03s Refine Results
Search Tools: Get RSS Feed — Email this Search