the Lambda calculus / H. P. Barendregt

Public ISBD Titre : the Lambda calculus : its syntax and semantics Type de document : texte imprimé Auteurs : H. P. Barendregt Mention d'édition : rev. ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2001 Collection : Studies in Logic and the Foundations of Mathematics num. 103 Importance : xv - 621p. ISBN/ISSN/EAN : 978-0-444-87508-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : models  type-free lambda calculus  reduction systems  semantics  syntax Index. décimale : 68C Monographie the Lambda calculus : its syntax and semantics [texte imprimé] / H. P. Barendregt  . -  rev. ed. . - Amtsterdam : North-Holland Publishing Company, 2001 . - xv - 621p.. - (Studies in Logic and the Foundations of Mathematics; 103) . ISBN : 978-0-444-87508-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : models  type-free lambda calculus  reduction systems  semantics  syntax Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13233	68C76	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Théorie des ensembles / Krivine, Jean-Louis

Public ISBD Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : Krivine, Jean-Louis Editeur : Paris : Cassini Année de publication : 1998 Collection : Nouvele Bibliothèque Mathématique num. 05 Importance : 273 p. ISBN/ISSN/EAN : 978-2-84225-014-0 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : introduction to axiomatic set theory Index. décimale : 104B Théorie des ensembles [texte imprimé] / Krivine, Jean-Louis . - Paris : Cassini, 1998 . - 273 p.. - (Nouvele Bibliothèque Mathématique; 05) . ISBN : 978-2-84225-014-0 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : introduction to axiomatic set theory Index. décimale : 104B

Exemplaires

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

Théorie des ensembles / Krivine, Jean-Louis

Public ISBD Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : Krivine, Jean-Louis Editeur : Paris : Cassini Année de publication : 1998 Collection : Nouvelle bibliothèque mathématique num. 05 Importance : 273 p. ISBN/ISSN/EAN : 978-2-84225-014-0 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : introduction to axiomatic set theory Index. décimale : 105H Théorie des ensembles [texte imprimé] / Krivine, Jean-Louis . - Paris : Cassini, 1998 . - 273 p.. - (Nouvelle bibliothèque mathématique; 05) . ISBN : 978-2-84225-014-0 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : introduction to axiomatic set theory Index. décimale : 105H

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12001	105H224	imprimé / autre	CRDM	105/CAPES ET AGREGATION	Disponible

Theory of relations / Fraïssé, Roland

Public ISBD Titre : Theory of relations : with an appendix by Norbert Sauer Type de document : texte imprimé Auteurs : Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur Mention d'édition : Revised ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2000 Collection : Studies in Logic and the Foundations of Mathematics num. 145 Importance : 451 p. ISBN/ISSN/EAN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) Mots-clés : age  relational systems  posets  trees  chains  ordered sets  cofinality  order relations  partition calculus  order theory  axiomatic set theory Index. décimale : IRIN Theory of relations : with an appendix by Norbert Sauer [texte imprimé] / Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur  . -  Revised ed. . - Amtsterdam : North-Holland Publishing Company, 2000 . - 451 p.. - (Studies in Logic and the Foundations of Mathematics; 145) . ISBN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) Mots-clés : age  relational systems  posets  trees  chains  ordered sets  cofinality  order relations  partition calculus  order theory  axiomatic set theory Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13364	IRIN/03C04	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Toposes and local set theories / John Lane Bell

Public ISBD Titre : Toposes and local set theories : an introduction Type de document : texte imprimé Auteurs : John Lane Bell, Auteur Editeur : Dover Publications Année de publication : 2008 Collection : Dover Books on Mathematics Importance : xii - 267 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-486-46286-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : local set theories  sheaves  locale-valued sets  numbers  Geometric theories  classifying toposes Index. décimale : 18C Monographie Toposes and local set theories : an introduction [texte imprimé] / John Lane Bell, Auteur . - [S.l.] : Dover Publications, 2008 . - xii - 267 p. : ill. ; 24 cm. - (Dover Books on Mathematics) . ISBN : 978-0-486-46286-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : local set theories  sheaves  locale-valued sets  numbers  Geometric theories  classifying toposes Index. décimale : 18C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19926	18A27	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

---

page /5