A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection Oxford logic guides
- Editeur : Clarendon Press
- ISSN : pas d'ISSN
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externesCardinal arithmetic (1994) / Saharon SHELAH
Titre : Cardinal arithmetic Type de document : texte imprimé Auteurs : Saharon SHELAH, Auteur Editeur : Oxford : Clarendon Press Année de publication : 1994 Collection : Oxford logic guides num. 29 Importance : XXXI-481 p. ISBN/ISSN/EAN : 978-0-19-853785-4 Langues : Anglais (eng) Mots-clés : théorie des nombres arithmétique lemme de recouvrement cardinalité Note de contenu : références Cardinal arithmetic [texte imprimé] / Saharon SHELAH, Auteur . - Clarendon Press, 1994 . - XXXI-481 p.. - (Oxford logic guides; 29) .
ISBN : 978-0-19-853785-4
Langues : Anglais (eng)
Mots-clés : théorie des nombres arithmétique lemme de recouvrement cardinalité Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20254 SHE/11/8401 Livre Recherche Salle Disponible Sketches of an elephant. Volume 1 (Cop. 2002) / P. T. JOHNSTONE
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 (eng) 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 . - Clarendon Press, Cop. 2002. - (Oxford logic guides; 43) .
ISBN : 978-0-19-853425-9
Langues : Anglais (eng)
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. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21725 JOH/03/10135-I Livre Recherche Salle Disponible Sketches of an elephant. Volume 2 (Cop. 2002) / P. T. JOHNSTONE
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 (eng) 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 . - Clarendon Press, Cop. 2002. - (Oxford logic guides; 44) .
ISBN : 978-0-19-851598-2
Langues : Anglais (eng)
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. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21716 JOH/03/10135-II Livre Recherche Salle Disponible Set theory (Cop. 2005) / John L. BELL
Titre : Set theory : boolean-valued models and independence proofs Type de document : texte imprimé Auteurs : John L. BELL, Auteur Mention d'édition : 3e éd. Editeur : Oxford : Clarendon Press Année de publication : Cop. 2005 Collection : Oxford logic guides num. 47 Importance : VIII-191 p. ISBN/ISSN/EAN : 978-0-19-960916-1 Langues : Anglais (eng) Mots-clés : théorie des ensembles Note de contenu : index, bibliogr. Set theory : boolean-valued models and independence proofs [texte imprimé] / John L. BELL, Auteur . - 3e éd. . - Clarendon Press, Cop. 2005 . - VIII-191 p.. - (Oxford logic guides; 47) .
ISBN : 978-0-19-960916-1
Langues : Anglais (eng)
Mots-clés : théorie des ensembles Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22721 BEL/04/10917 Livre Recherche Salle Disponible Elementary categories, elementary toposes (Cop. 1992) / Colin McLARTY
Titre : Elementary categories, elementary toposes Type de document : texte imprimé Auteurs : Colin McLARTY, Auteur Editeur : Oxford : Clarendon Press Année de publication : Cop. 1992 Collection : Oxford logic guides num. 21 Importance : XIII-265 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-19-851473-2 Langues : Anglais (eng) Mots-clés : catégorie topos algèbre universelle topologie Note de contenu : index, bibliogr. Elementary categories, elementary toposes [texte imprimé] / Colin McLARTY, Auteur . - Clarendon Press, Cop. 1992 . - XIII-265 p. : ill.. - (Oxford logic guides; 21) .
ISBN : 978-0-19-851473-2
Langues : Anglais (eng)
Mots-clés : catégorie topos algèbre universelle topologie Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22720 MCL/18/10916 Livre Recherche Salle Disponible