Applications of sheaves / Mulvey, C. J. ; Fourman, M. P. ; Dana S. Scott

Public ISBD Titre : Applications of sheaves Type de document : texte imprimé Auteurs : Mulvey, C. J. ; Fourman, M. P. ; Dana S. Scott, Editeur scientifique Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 753 Importance : XIV-779 ISBN/ISSN/EAN : 978-0-387-09564-6 Langues : Anglais Mots-clés : faisceau topos Index. décimale : LNM Applications of sheaves [texte imprimé] / Mulvey, C. J. ; Fourman, M. P. ; Dana S. Scott, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - XIV-779. - (Lecture Notes in Mathematics, ISSN 0075-8434; 753) . ISBN : 978-0-387-09564-6 Langues : Anglais Mots-clés : faisceau topos Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7182	LNM/753	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Axiomatic set theory / Dana S. Scott

Public ISBD Titre : Axiomatic set theory Titre original : proceedings of the symposium in pure mathematics of the American Mathematical Society. Held at the University of California, Los Angeles, California, July 10-August 5, 1967 Type de document : texte imprimé Auteurs : Dana S. Scott, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1971 Collection : Proceedings of Symposia in Pure Mathematics num. 13-1 Importance : v - 474 p. ISBN/ISSN/EAN : 978-0-8218-0245-8 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : los angeles (usa)  proceedings  axiomatic set theory  mathematical logic Index. décimale : 03B Publication collective Axiomatic set theory = proceedings of the symposium in pure mathematics of the American Mathematical Society. Held at the University of California, Los Angeles, California, July 10-August 5, 1967 [texte imprimé] / Dana S. Scott, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1971 . - v - 474 p.. - (Proceedings of Symposia in Pure Mathematics; 13-1) . ISBN : 978-0-8218-0245-8 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : los angeles (usa)  proceedings  axiomatic set theory  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15846	03B11	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
9243	03B11	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
9242	03B11	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Continuous lattices and domains

Public ISBD Titre : Continuous lattices and domains Type de document : texte imprimé Auteurs : Gerhard Gierz, Editeur scientifique ; Hofmann, Karl H. ; Keimel, Klaus ; J. D. Lawson ; M. Mislove ; Dana S. Scott Editeur : Cambridge : Cambridge University Press Année de publication : 2003 Collection : Encyclopedia of Mathematics and Its Applications num. 93 Importance : xxxvi, 591 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-80338-0 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B30 Topological lattices, order topologies 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B35 Continuous lattices and posets, applications Mots-clés : continuous lattice  domain  ordered set  Heyting algebra  continuous semilattice  Scott topology  Scott-continuous function  Lawson topology  continuous domain  quasicontinuous domain  Lawson duality of domain Index. décimale : 06B Publication collective Continuous lattices and domains [texte imprimé] / Gerhard Gierz, Editeur scientifique ; Hofmann, Karl H. ; Keimel, Klaus ; J. D. Lawson ; M. Mislove ; Dana S. Scott . - Cambridge : Cambridge University Press, 2003 . - xxxvi, 591 p. : ill. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 93) . ISBN : 978-0-521-80338-0 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B30 Topological lattices, order topologies 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B35 Continuous lattices and posets, applications Mots-clés : continuous lattice  domain  ordered set  Heyting algebra  continuous semilattice  Scott topology  Scott-continuous function  Lawson topology  continuous domain  quasicontinuous domain  Lawson duality of domain Index. décimale : 06B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18436	06B02	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Higher set theory : proceedings oberwolfach germany april 13-23 1977 / Muller, G. H. ; Dana S. Scott

Public ISBD Titre : Higher set theory : proceedings oberwolfach germany april 13-23 1977 Type de document : texte imprimé Auteurs : Muller, G. H., Editeur scientifique ; Dana S. Scott, Editeur scientifique Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 669 Importance : XII-476 ISBN/ISSN/EAN : 978-0-387-08926-3 Langues : Anglais Mots-clés : theorie des ensembles Index. décimale : LNM Higher set theory : proceedings oberwolfach germany april 13-23 1977 [texte imprimé] / Muller, G. H., Editeur scientifique ; Dana S. Scott, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - XII-476. - (Lecture Notes in Mathematics, ISSN 0075-8434; 669) . ISBN : 978-0-387-08926-3 Langues : Anglais Mots-clés : theorie des ensembles Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7563	LNM/669	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1