Jean-Yves Girard's Documents

Jean-Yves Girard's Documents

The Blind Spot: Lectures on Logic

The Blind Spot: Lectures on Logic
Read more
Typed Lambda Calculi and Applications, 4 conf., TLCA'99

Typed Lambda Calculi and Applications, 4 conf., TLCA'99
Read more
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
Read more
The Blind Spot: Lectures on Logic

The Blind Spot: Lectures on Logic
Read more
Advances in Linear Logic (London Mathematical Society Lecture Note Series)

Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Read more
Proofs and Types

Proofs and Types
Read more
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)
Read more
Advances in linear logic

Advances in linear logic
Read more
Cinq conférences sur l'indécidabilité

Cinq conférences sur l'indécidabilité
Read more
Molecular Orbitals of Transition Metal Complexes

Molecular Orbitals of Transition Metal Complexes
Read more
La sexualité des enfants

La sexualité des enfants
Read more
Encyclopedia of Christian Theology, Volume 2 G-O

Encyclopedia of Christian Theology, Volume 2 G-O
Read more
Les nouveaux tsars, Tome 2 : L'Effet blast

Les nouveaux tsars, Tome 2 : L'Effet blast
Read more
Tendências Atuais da Filosofia

Tendências Atuais da Filosofia
Read more
Logica Universalis: Towards a General Theory of Logic

Logica Universalis: Towards a General Theory of Logic
Read more
Logica Universalis: Towards a General Theory of Logic

Logica Universalis: Towards a General Theory of Logic
Read more
Les nouveaux tsars, Tome 3 : Les Fous de Bakou

Les nouveaux tsars, Tome 3 : Les Fous de Bakou
Read more
The Blind Spot: Lectures on Logic

The Blind Spot: Lectures on Logic
Read more
Logica Universalis- Towards a General Theory of Logic

Logica Universalis- Towards a General Theory of Logic
Read more
Social et médico-social : une spécificité en danger ? : L'année de l'action sociale 2010

Social et médico-social : une spécificité en danger ? : L'année de l'action sociale 2010
Read more
Richard Millet. L'invention du pays. (Faux titre 293)

Richard Millet. L'invention du pays. (Faux titre 293)
Read more
Encyclopedia of Christian Theology, Volume 2 G-O

Encyclopedia of Christian Theology, Volume 2 G-O
Read more
Marx et le marxisme : Une pensee, une histoire

Marx et le marxisme : Une pensee, une histoire
Read more
Probabilités, 2 Tome, Licence - CAPES et Master - Agrégation

Probabilités, 2 Tome, Licence - CAPES et Master - Agrégation
Read more
Les nouveaux tsars, Tome 1 : La Chasse est ouverte

Les nouveaux tsars, Tome 1 : La Chasse est ouverte
Read more
Molecular orbitals of transition metal complexes

Molecular orbitals of transition metal complexes
Read more
Logica Universalis: Towards a General Theory of Logic

Logica Universalis: Towards a General Theory of Logic
Read more
Logica Universalis: Towards a General Theory of Logic

Logica Universalis: Towards a General Theory of Logic
Read more
Les nouveaux tsars, Tome 4 : Révolution, révolution

Les nouveaux tsars, Tome 4 : Révolution, révolution
Read more
S.O.S. OS : des os solides à tout âge

S.O.S. OS : des os solides à tout âge
Read more