Jean-Yves Girard has written at least 4 books. Their most popular book is The Blind Spot: Lectures on Logic with 1 save with an average rating of -⭐.
Proof Theory and Logical Complexity Proof Theory and Logical Complexity
|
The Blind Spot The Blind Spot: Lectures on Logic
|