Applications of sheaves / M.P. FOURMAN (1979) 

Public ISBD Titre : Applications of sheaves : Proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, july 9-21, 1977 Type de document : texte imprimé Auteurs : M.P. FOURMAN, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1979 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 753 ISBN/ISSN/EAN : 978-3-540-09564-4 Langues : Anglais Catégories : 03C90 03G30 14Fxx 18B25 18F20 55N30 Mots-clés : logique En ligne : https://link.springer.com/content/pdf/10.1007%2FBFb0061811.pdf Format de la ressource électronique : PDF Applications of sheaves : Proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, july 9-21, 1977 [texte imprimé] / M.P. FOURMAN, Auteur . - Berlin : Springer-Verlag, 1979. - (Lecture Note in Mathematics, ISSN 0075-8434; 753) . ISBN : 978-3-540-09564-4 Langues : Anglais Catégories : 03C90 03G30 14Fxx 18B25 18F20 55N30 Mots-clés : logique En ligne : https://link.springer.com/content/pdf/10.1007%2FBFb0061811.pdf Format de la ressource électronique : PDF

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14332	LN 753	Livre	Recherche	Compactus	Exclu du prêt

Duality and definability in first order logic / Michael Makkai (1993)

Public ISBD Titre : Duality and definability in first order logic Type de document : texte imprimé Auteurs : Michael Makkai, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1993 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 503 Importance : IX-106 p. ISBN/ISSN/EAN : 978-0-8218-2565-5 Langues : Anglais Catégories : 03C20 03C40 03G30 18D05 Mots-clés : logique du premier ordre  dualité  topos Note de contenu : références Duality and definability in first order logic [texte imprimé] / Michael Makkai, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1993 . - IX-106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 503) . ISBN : 978-0-8218-2565-5 Langues : Anglais Catégories : 03C20 03C40 03G30 18D05 Mots-clés : logique du premier ordre  dualité  topos Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5434	854/503	Livre	Recherche	Salle	Disponible

Freyd's models for the independence of the axiom of choice / Andreas BLASS (1989)

Public ISBD Titre : Freyd's models for the independence of the axiom of choice Type de document : texte imprimé Auteurs : Andreas BLASS, Auteur ; Andre SCEDROV, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1989 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 404 Importance : VIII-134 p. ISBN/ISSN/EAN : 978-0-8218-2468-9 Langues : Anglais Catégories : 03E25 03E35 03E40 03G30 18B25 18F20 Mots-clés : axiome de choix  modèle de Freyd Note de contenu : références Freyd's models for the independence of the axiom of choice [texte imprimé] / Andreas BLASS, Auteur ; Andre SCEDROV, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1989 . - VIII-134 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 404) . ISBN : 978-0-8218-2468-9 Langues : Anglais Catégories : 03E25 03E35 03E40 03G30 18B25 18F20 Mots-clés : axiome de choix  modèle de Freyd Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
832	854/404	Livre	Recherche	Salle	Disponible

Introduction to higher order categorical logic / J. LAMBEK (Cop. 1986)

Public ISBD Titre : Introduction to higher order categorical logic Type de document : texte imprimé Auteurs : J. LAMBEK, Auteur ; P. J. SCOTT, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1986 Collection : Cambridge studies in advanced mathematics num. 7 Importance : X-293 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-521-35653-4 Langues : Anglais Catégories : 03G30 Mots-clés : algèbre homologique  logique catégoriale d'ordre supérieur  catégorie Note de contenu : index, bibliogr. Introduction to higher order categorical logic [texte imprimé] / J. LAMBEK, Auteur ; P. J. SCOTT, Auteur . - Cambridge : Cambridge University Press, Cop. 1986 . - X-293 p. : ill.. - (Cambridge studies in advanced mathematics; 7) . ISBN : 978-0-521-35653-4 Langues : Anglais Catégories : 03G30 Mots-clés : algèbre homologique  logique catégoriale d'ordre supérieur  catégorie Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13612	LAM/03/7427	Livre	Recherche	Salle	Disponible

Sheaves in geometry and logic / Saunders Mac LANE (cop. 1992)

Public ISBD Titre : Sheaves in geometry and logic : a first introduction to topos theory Type de document : texte imprimé Auteurs : Saunders Mac LANE, Auteur ; Ieke MOERDIJK, Auteur Editeur : Berlin : Springer-Verlag Année de publication : cop. 1992 Collection : Universitext, ISSN 0172-5939 Importance : 629 p. ISBN/ISSN/EAN : 978-0-387-97710-2 Langues : Anglais Catégories : 03G30 14F20 18B25 18F20 54B40 Mots-clés : foncteur  ensemble  théorie des topos  morphisme Note de contenu : index, bibliogr. Sheaves in geometry and logic : a first introduction to topos theory [texte imprimé] / Saunders Mac LANE, Auteur ; Ieke MOERDIJK, Auteur . - Berlin : Springer-Verlag, cop. 1992 . - 629 p.. - (Universitext, ISSN 0172-5939) . ISBN : 978-0-387-97710-2 Langues : Anglais Catégories : 03G30 14F20 18B25 18F20 54B40 Mots-clés : foncteur  ensemble  théorie des topos  morphisme Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21425	MAC/02 /9092	Livre	Recherche	Salle	Disponible
9817	MAC/02/6579	Livre	Recherche	Salle	Disponible

---

page 1/1