Notes on logic and set theory / P. T. JOHNSTONE (Cop. 1987)

Public ISBD Titre : Notes on logic and set theory Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1987 Collection : Cambridge mathematical texbooks Importance : X-110 p. ISBN/ISSN/EAN : 978-0-521-33692-5 Langues : Anglais Mots-clés : logique mathématique  théorie des ensembles Note de contenu : index Notes on logic and set theory [texte imprimé] / P. T. JOHNSTONE, Auteur . - Cambridge : Cambridge University Press, Cop. 1987 . - X-110 p.. - (Cambridge mathematical texbooks) . ISBN : 978-0-521-33692-5 Langues : Anglais Mots-clés : logique mathématique  théorie des ensembles Note de contenu : index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
i1549	JOH/02/i1549	Livre	Recherche	Salle	Disponible

Sketches of an elephant. Volume 1 / P. T. JOHNSTONE (Cop. 2002)

Public ISBD Titre : Sketches of an elephant. Volume 1 : a topos theory compendium Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Oxford : Clarendon Press Année de publication : Cop. 2002 Collection : Oxford logic guides num. 43 ISBN/ISSN/EAN : 978-0-19-853425-9 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr. Sketches of an elephant. Volume 1 : a topos theory compendium [texte imprimé] / P. T. JOHNSTONE, Auteur . - Oxford : Clarendon Press, Cop. 2002. - (Oxford logic guides; 43) . ISBN : 978-0-19-853425-9 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21725	JOH/03/10135-I	Livre	Recherche	Salle	Disponible

Sketches of an elephant. Volume 2 / P. T. JOHNSTONE (Cop. 2002)

Public ISBD Titre : Sketches of an elephant. Volume 2 : a topos theory compendium Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Oxford : Clarendon Press Année de publication : Cop. 2002 Collection : Oxford logic guides num. 44 ISBN/ISSN/EAN : 978-0-19-851598-2 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr. Sketches of an elephant. Volume 2 : a topos theory compendium [texte imprimé] / P. T. JOHNSTONE, Auteur . - Oxford : Clarendon Press, Cop. 2002. - (Oxford logic guides; 44) . ISBN : 978-0-19-851598-2 Langues : Anglais Mots-clés : théorie des topos Résumé : Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21716	JOH/03/10135-II	Livre	Recherche	Salle	Disponible

Topos theory / P. T. JOHNSTONE (1977)

Public ISBD Titre : Topos theory Type de document : texte imprimé Auteurs : P. T. JOHNSTONE, Auteur Editeur : Amsterdam : Academic Press Année de publication : 1977 Collection : London mathematical society monographs, ISSN 0076-0560 num. 10 Importance : XX-367 p. ISBN/ISSN/EAN : 978-0-12-387850-2 Langues : Anglais Mots-clés : théorie des topos  topologie  morphisme géométrique  théorème de deligne  théorème de Barr  cohomologie Note de contenu : index, bibliogr. Topos theory [texte imprimé] / P. T. JOHNSTONE, Auteur . - Amsterdam : Academic Press, 1977 . - XX-367 p.. - (London mathematical society monographs, ISSN 0076-0560; 10) . ISBN : 978-0-12-387850-2 Langues : Anglais Mots-clés : théorie des topos  topologie  morphisme géométrique  théorème de deligne  théorème de Barr  cohomologie Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
23429	JOH/18/13230	Livre	Recherche	Salle	Disponible
2422	JOH/18/5068	Livre	Recherche	Salle	Disponible

---

page 1/1