Lambda calculus with types / Henk Barendregt

Public ISBD Titre : Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn Type de document : texte imprimé Auteurs : Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur Editeur : Cambridge University Press Année de publication : 2013 Collection : Perspectives in Logic Importance : xxii - 833 p. ISBN/ISSN/EAN : 978-0-521-76614-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science Mots-clés : mathematical logic  Lambda calculus Index. décimale : 03B Publication collective Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn [texte imprimé] / Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur . - [S.l.] : Cambridge University Press, 2013 . - xxii - 833 p.. - (Perspectives in Logic) . ISBN : 978-0-521-76614-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science Mots-clés : mathematical logic  Lambda calculus Index. décimale : 03B Publication collective

Exemplaires

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

Logical foundations of proof complexity / Stephen Cook

Public ISBD Titre : Logical foundations of proof complexity Type de document : texte imprimé Auteurs : Stephen Cook, Auteur ; Phuong Nguyen, Auteur Editeur : Cambridge University Press Année de publication : 2010 Collection : Perspectives in Logic Importance : xv - 479 p. ISBN/ISSN/EAN : 978-0-521-51729-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : mathematical logic Index. décimale : 03C Monographie Logical foundations of proof complexity [texte imprimé] / Stephen Cook, Auteur ; Phuong Nguyen, Auteur . - [S.l.] : Cambridge University Press, 2010 . - xv - 479 p.. - (Perspectives in Logic) . ISBN : 978-0-521-51729-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1