Proof Theory Logical Complexity (Studies in Proof Theory)Jean-Yves Girard
Proof Theory Logical Complexity (Studies in Proof Theory)
Jean-Yves Girard · 1987
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1987
- Publisher
- Humanities Pr
- Editions
- 1
- ISBN
- 9789997457806
Data source: Wikidata
More by Jean-Yves Girard
Linear Logic in Computer ScienceJean-Yves Girard

Linear Logic in Computer Science
Jean-Yves Girard · 2004
Typed Lambda Calculi and ApplicationsJean-Yves Girard

Typed Lambda Calculi and Applications
Jean-Yves Girard · 1999
Advances in linear logicJean-Yves Girard

Advances in linear logic
Jean-Yves Girard · 1995
The blind spotJean-Yves Girard

The blind spot
Jean-Yves Girard · 2011
Proof Theory and Logical ComplexityJean-Yves Girard

Proof Theory and Logical Complexity
Jean-Yves Girard · 1990
Proofs and typesJean-Yves Girard

Proofs and types
Jean-Yves Girard · 1989
Face à facesJean-Yves Girard

Face à faces
Jean-Yves Girard · 2018
Immortal ElementJean-Yves Girard

Immortal Element
Jean-Yves Girard · 2018
Le fantôme de la transparenceJean-Yves Girard
Le fantôme de la transparence
Jean-Yves Girard · 2016
Machine de TuringJean-Yves Girard
Machine de Turing
Jean-Yves Girard · 1999