Search Results - Girard, Jean-Yves

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
Refine Results
  1. 1
    Proof theory and logical complexity

    Proof theory and logical complexity by Girard, Jean-Yves

    Published 1987
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: