Sheaves in geometry and logic : a first introduction to topos theory

Sheaves in geometry and logic : a first introduction to topos theory

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Mac Lane Saunders (Auteur), Moerdijk Ieke (Auteur)
Format : Livre
Langue : anglais
Titre complet : Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
Publié : New York (N.Y.) : Springer , cop. 1992
Description matérielle : 1 vol. (XII-629 p.)
Collection : Universitext (Berlin. Print)
Contenu : Contient des exercices
Sujets :
Catégories (mathématiques)
Topos (mathématiques)
LEADER 01940cam a2200613 4500
001 PPN022222790
003 http://www.sudoc.fr/022222790
005 20240508055300.0
010 |a 0-387-97710-4  |b New York 
010 |a 3-540-97710-4  |b Berlin 
020 |a US  |b 9133709 
035 |a (OCoLC)708456348 
035 |a ocm24428855 
035 |a DYNIX_BUNAN_151613 
073 1 |a 9780387977102 
100 |a 19910829h19921992k y0frey0103 ba 
101 0 |a eng 
102 |a US 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Sheaves in geometry and logic  |e a first introduction to topos theory  |f Saunders Mac Lane, Ieke Moerdijk 
210 |a New York (N.Y.)  |c Springer  |d cop. 1992 
215 |a 1 vol. (XII-629 p.)  |c fig.  |d 24 cm 
225 0 |a Universitext 
320 |a Bibliogr. p. 605-614. Index 
327 0 |a Contient des exercices 
410 | |0 013372300  |t Universitext (Berlin. Print)  |x 0172-5939 
606 |3 PPN027339521  |a Catégories (mathématiques)  |2 rameau 
606 |3 PPN027706222  |a Topos (mathématiques)  |2 rameau 
676 |a 512/.55  |v 20 
680 |a QA169  |b .M335 1992 
686 |a F.4  |2 acm 
686 |a 03G30  |c 2000  |2 msc 
686 |a 14F20  |c 2000  |2 msc 
686 |a 18B25  |c 2000  |2 msc 
686 |a 18F20  |c 2000  |2 msc 
686 |a 54B40  |c 2000  |2 msc 
700 1 |3 PPN029774691  |a Mac Lane  |b Saunders  |f 1909-2005  |4 070 
701 1 |3 PPN03233530X  |a Moerdijk  |b Ieke  |f 1958-....  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20190925  |g AFNOR 
979 |a SCI 
979 |a CCFA 
915 |5 441092104:179222635  |a 1160600170  |b 1160600170 
919 |5 441092104:179222635  |a 1160600170 
930 |5 441092104:179222635  |b 441092104  |j u 
930 |5 441092208:644043318  |b 441092208  |j u 
998 |a 257817