Sheaves in Geometry and Logic : A First Introduction to Topos Theory / Saunders Mac Lane, Ieke Moerdijk
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Mac Lane, Saunders
|
| Titolo: |
Sheaves in Geometry and Logic : A First Introduction to Topos Theory / Saunders Mac Lane, Ieke Moerdijk
|
| Pubblicazione: | New York, : Springer, 1992 |
| Descrizione fisica: | xii, 627 p. ; 24 cm |
| Soggetto topico: | 03G30 - Categorical logic, topoi [MSC 2020] |
| 14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020] | |
| 18B25 - Topoi [MSC 2020] | |
| 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] | |
| 54B40 - Presheaves and sheaves in general topology [MSC 2020] | |
| Soggetto non controllato: | Algebraic structures |
| Boolean algebra | |
| Division | |
| Forcing | |
| Heyting Algebra | |
| Set Theory | |
| Sets | |
| Altri autori: |
Moerdijk, Ieke
|
| Titolo autorizzato: | Sheaves in geometry and logic |
| ISBN: | 03-87977-10-4 |
| 978-03-87977-10-2 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN00054471 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | /sebina/repository/catalogazione/documenti/Sheaves in Geometry and Logic.pdf |
| Opac: | Controlla la disponibilità qui |
Serie:
Universitext Berlin [etc] . -Springer , 1930-