1 résultat(s) recherche sur le mot-clé 'polarized logic'

The blind spot / Jean-Yves Girard

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20784	03C187	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible