Linear logic in computer science / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott

Public ISBD Titre : Linear logic in computer science Titre original : based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 Type de document : texte imprimé Auteurs : thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2004 Collection : London Mathematical Society Lecture Note Series. num. 316 Importance : x - 381 p. ISBN/ISSN/EAN : 978-0-521-60857-2 Note générale : commande C. Anné Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. Mots-clés : st. miguel, azores (portugal)  conferences  summer school  computer science  mathematical logic Index. décimale : 03B Publication collective Linear logic in computer science = based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 [texte imprimé] / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique . - [S.l.] : Cambridge University Press, 2004 . - x - 381 p.. - (London Mathematical Society Lecture Note Series.; 316) . ISBN : 978-0-521-60857-2 commande C. Anné Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. Mots-clés : st. miguel, azores (portugal)  conferences  summer school  computer science  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

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

Le point aveugle. I / Jean-Yves Girard

Public ISBD Titre : Le point aveugle. I : cours de logique. Vers la perfection Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : Paris : Hermann Année de publication : 2006 Importance : xvi - 280 p. Format : 21 cm. ISBN/ISSN/EAN : 978-2-7056-6633-0 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : Philosophy of mathematics  Philosophical and critical Index. décimale : 00E Le point aveugle. I : cours de logique. Vers la perfection [texte imprimé] / Jean-Yves Girard, Auteur . - Paris : Hermann, 2006 . - xvi - 280 p. ; 21 cm. ISBN : 978-2-7056-6633-0 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : Philosophy of mathematics  Philosophical and critical Index. décimale : 00E

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20747	00E44	imprimé / autre	CRDM	00/GENERALITES	Disponible

Le point aveugle : Tome 2 Cours de logique / Jean-Yves Girard

Public ISBD Titre : Le point aveugle : Tome 2 Cours de logique : vers l'imperfection Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : Paris : Hermann Année de publication : 2007 Collection : Visions des Sciences Importance : 567 p. ISBN/ISSN/EAN : 978-2-7056-6634-7 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Index. décimale : 104I Le point aveugle : Tome 2 Cours de logique : vers l'imperfection [texte imprimé] / Jean-Yves Girard, Auteur . - Paris : Hermann, 2007 . - 567 p.. - (Visions des Sciences) . ISBN : 978-2-7056-6634-7 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19346	104I18	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

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

---

page 1/1