Home Advanced Search

Advanced Search - Page 1

The Blind Spot: Lectures on Logic
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Yves Girard
The Blind Spot: Lectures on Logic
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Yves Girard
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
  • DJVU
  • English
  • Year: 1990
  • Author: Jean-Yves Girard
Linear Logic
  • DJVU
  • English
  • Year: 1987
  • Author: Jean-Yves Girard
Proofs and Types
  • DJVU
  • English
  • Year: 1989
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
Advances in linear logic
  • DJVU
  • English
  • Year: 1995
  • Author: Jean-Yves Girard, Yves Lafont, Laurent Regnier
Proofs and Types
  • PDF
  • English
  • Year: 2003
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
Advances in linear logic
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Yves Girard, Yves Lafont, Laurent Regnier
Proofs and Types
  • PDF
  • English
  • Year: 1989
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
Proofs and Types
  • DJVU
  • English
  • Year: 1989
  • Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
search