Titre :	The blind spot : lectures on logic
Type de document :	texte imprimé
Auteurs :	Jean-Yves Girard, Auteur
Editeur :	European Mathematical Society
Année de publication :	2011
Importance :	xiii - 537 p.
Format :	24 cm
ISBN/ISSN/EAN :	978-3-03719-088-3
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03A05 Philosophical and critical 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics
Mots-clés :	classical logic  linear logic  geometry of interaction  proof theory  polarized logic  Curry-Howard isomorphism
Index. décimale :	03C Monographie

The blind spot : lectures on logic [texte imprimé] / Jean-Yves Girard, Auteur . - [S.l.] : European Mathematical Society, 2011 . - xiii - 537 p. ; 24 cm.
ISBN : 978-3-03719-088-3
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03A05 Philosophical and critical 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics
Mots-clés :	classical logic  linear logic  geometry of interaction  proof theory  polarized logic  Curry-Howard isomorphism
Index. décimale :	03C Monographie