{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":58,"n_cols":5,"rows_kept":58,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[26,2,26,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[34,2,34,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[45,2,45,3],[45,4,45,5],[46,2,46,3],[46,4,46,5],[47,2,47,3],[47,4,47,5],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910480323003321"]
[null,null,"Autore",null,"MacLane Saunders"]
[null,null,"Titolo",null,"Sheaves in Geometry and Logic [[electronic resource] ] : A First Introduction to Topos Theory / / by Saunders MacLane, Ieke Moerdijk"]
[null,null,"Pubbl/distr/stampa",null,"New York, NY : , : Springer New York : , : Imprint : Springer, , 1994"]
[null,null,"ISBN",null,"1-4612-0927-7"]
[null,null,"Edizione",null,"[1st ed. 1994.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 630 p.)"]
[null,null,"Collana",null,"Universitext, , 0172-5939"]
[null,null,"Disciplina",null,"512/.55"]
[null,null,"Soggetti",null,"Geometry"]
[{"$nulls":4},"K-theory"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"K-Theory"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and indexes."]
[null,null,"Nota di contenuto",null,"Prologue -- Categorial Preliminaries -- I. Categories of Functors -- 1. The Categories at Issue -- 2. Pullbacks -- 3. Characteristic Functions of Subobjects -- 4. Typical Subobject Classifiers -- 5. Colimits -- 6. Exponentials -- 7. Propositional Calculus -- 8. Heyting Algebras -- 9. Quantifiers as Adjoints -- Exercises -- II. Sheaves of Sets -- 1. Sheaves -- 2. Sieves and Sheaves -- 3. Sheaves and Manifolds -- 4. Bundles -- 5. Sheaves and Cross-Sections -- 6. Sheaves as Étale Spaces -- 7. Sheaves with Algebraic Structure -- 8. Sheaves are Typical -- 9. Inverse Image Sheaf -- Exercises -- III. Grothendieck Topologies and Sheaves -- 1. Generalized Neighborhoods -- 2. Grothendieck Topologies -- 3. The Zariski Site -- 4. Sheaves on a Site -- 5. The Associated Sheaf Functor -- 6. First Properties of the Category of Sheaves -- 7. Subobject Classifiers for Sites -- 8. Subsheaves -- 9. Continuous Group Actions -- Exercises -- IV. First Properties of Elementary Topoi -- 1. Definition of a Topos -- 2. The Construction of Exponentials -- 3. Direct Image -- 4. Monads and Beck’s Theorem -- 5. The Construction of Colimits -- 6. Factorization and Images -- 7. The Slice Category as a Topos -- 8. Lattice and Heyting Algebra Objects in a Topos -- 9. The Beck-Chevalley Condition -- 10. Injective Objects -- Exercises -- V. Basic Constructions of Topoi -- 1. Lawvere-Tierney Topologies -- 2. Sheaves -- 3. The Associated Sheaf Functor -- 4. Lawvere-Tierney Subsumes Grothendieck -- 5. Internal Versus External -- 6. Group "]
[{"$nulls":4},"Actions -- 7. Category Actions -- 8. The Topos of Coalgebras -- 9. The Filter-Quotient Construction -- Exercises -- VI. Topoi and Logic -- 1. The Topos of Sets -- 2. The Cohen Topos -- 3. The Preservation of Cardinal Inequalities -- 4. The Axiom of Choice -- 5. The Mitchell-Bénabou Language -- 6. Kripke-Joyal Semantics -- 7. Sheaf Semantics -- 8. Real Numbers in a Topos -- 9. Brouwer’s Theorem: All Functions are Continuous -- 10. Topos-Theoretic and Set-Theoretic Foundations -- Exercises -- VII. Geometric Morphisms -- 1. Geometric Morphisms and Basic Examples -- 2. Tensor Products -- 3. Group Actions -- 4. Embeddings and Surjections -- 5. Points -- 6. Filtering Functors -- 7. Morphisms into Grothendieck Topoi -- 8. Filtering Functors into a Topos -- 9. Geometric Morphisms as Filtering Functors -- 10. Morphisms Between Sites -- Exercises -- VIII. Classifying Topoi -- 1. Classifying Spaces in Topology -- 2. Torsors -- 3. Classifying Topoi -- 4. The Object Classifier -- 5. The Classifying Topos for Rings -- 6. The Zariski Topos Classifies Local Rings -- 7. Simplicial Sets -- 8. Simplicial Sets Classify Linear Orders -- Exercises -- IX. Localic Topoi -- 1. Locales -- 2. Points and Sober Spaces -- 3. Spaces from Locales -- 4. Embeddings and Surjections of Locales -- 5. Localic Topoi -- 6. Open Geometric Morphisms -- 7. Open Maps of Locales -- 8. Open Maps and Sites -- 9. The Diaconescu Cover and Barr’s Theorem -- 10. The Stone Space of a Complete Boolean Algebra -- 11. Deligne’s Theorem -- Exercises -- X. Geometric Logic and Classifying Topoi -- 1. First-Order Theories -- 2. Models in Topoi -- 3. Geometric Theories -- 4. Categories of Definable Objects -- 5. Syntactic Sites -- 6. The Classifying Topos of a Geometric Theory -- 7. Universal Models -- Exercises -- Appendix: Sites for Topoi -- Epilogue -- Index of Notation."]
[null,null,null,"Sommario/riassunto","We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book had been completed, we heard the sad news of his untimely death. This has cast a shadow on our subsequent work. Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Bruno, P. Freyd, J.M.E. Hyland, P.T. Johnstone, A. Joyal, A. Kock, F.W. Lawvere, G.E. Reyes, R Solovay, R Swan, RW. Thomason, M. Tierney, and G.C. Wraith. Our presentation combines ideas and results from these people and from many others, but we have not endeavored to specify the various original sources. Moreover, a number of people have assisted in our work by pro­ viding helpful comments on portions of the manuscript. In this respect, we extend our hearty thanks in particular to P. Corazza, K. Edwards, J. Greenlees, G. Janelidze, G. Lewis, and S. Schanuel."]
[null,"2.","Record Nr.",null,"UNINA9910782214003321"]
[null,null,"Titolo",null,"De Spaanse Gouden Eeuw in honderd sonnetten [[electronic resource] /] / [vert. uit het Spaans door] Dolf Verspoor ; met een voorw. van Robert Lemm"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, : Amsterdam University Press"]
[{"$nulls":4},"Amsterdam, : Athenaeum Boekhandel, c2007"]
[null,null,"ISBN",null,"1-281-97921-X"]
[{"$nulls":4},"9786611979218"]
[{"$nulls":4},"90-485-0182-2"]
[null,null,"Descrizione fisica",null,"1 online resource (115 p.)"]
[null,null,"Collana",null,"Athenaeum Boekhandel canon"]
[null,null,"Disciplina",null,"300"]
[{"$nulls":4},"860/.9/003"]
[{"$nulls":4},"900"]
[null,null,"Soggetti",null,"Spanish poetry"]
[{"$nulls":4},"Sonnets, Spanish"]
[null,null,"Lingua di pubblicazione",null,"Olandese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[{"$nulls":4},"Originally published: Amsterdam : Meulenhoff, 1996."]
[null,null,"Nota di contenuto",null,"Inhoud; Juan Boscan; Garcilaso de la Vega; Hernande de Acuna; Gregorio Silvestre; Fray Luis de Leon; Francisco de la Torre; Fernando de Herrara; Francisco de Aldana; Juan de la Cueva; Sebastian de Cordoba; Miguel de Cervantes; LUPERCIO LEONARDO DE ARGENSOLA; LUIS DE GóNGORA; CRISTÓBAL DE MESA; BARToLoMÉ LEONARDO DE ARGENSOLA; LOPE DE VEGA; JUAN DE CÓRDOBA; FRANCISCO DE QUEVEDO; FRANCISCO LÓPEZ DE ZÁRATE; ALONSO ]ERÓNIMO DE SALAS BARBADILLO; JUAN DE TASSIS, CONDE DE VILLAMEDIANA; LUIS CARRILLO Y SOTOMAYOR; ]UAN DE ]ÁUREGUI; TIRSO DE MOLINA; PEDRO CALDERÓN DE LA BARCA; GABRIEL BOCÁNGEL"]
[{"$nulls":4},"MIGUEL DE MANARAVALENTfN DE CÉSPEDES; AANTEKENINGEN; REGISTER OP SPAANSE BEGINREGELS; VERANTWOORDING"]
[null,null,null,"Sommario/riassunto","Cervantes, Lope de Vega, Gabriel Bocángel, Calderón de la Barca en natuurlijk Francisco de Quevedo, het is maar een greep uit de meesterdichters van wie werk in De Spaanse Gouden Eeuw in honderd sonnetten is opgenomen. Nijhoffprijswinnaar Dolf Verspoor nam van in totaal dertig bekende en minder bekende auteurs uit de Spaanse renaissance en barok herdichtingen op. Naast vele nieuwe vertalingen,"]
[{"$nulls":4},"waaraan Verspoor tot het eind van zijn leven heeft gewerkt, bevat de bundel zijn twee eerdere bundels sonnetten van Quevedo. Het geheel biedt een doorsnede van de poëzie van begin zestiende tot eind zeven"]
[null,"3.","Record Nr.",null,"UNINA9910854699503321"]
[null,null,"Autore",null,"Magini, Giovanni Antonio <1555-1617>"]
[null,null,"Titolo",null,"Italia di Gio. Ant. Magini data in luce da Fabio suo figliuolo al serenissimo Ferdinando Gonzaga duca di Mantoua e di Monferrato etc / Giovanni Antonio Magini ; [a cura di Mario Serra]"]
[null,null,"Pubbl/distr/stampa",null,"[Roccadaspide, : Edizioni Magna Graecia, 2022]"]
[null,null,"ISBN",null,"9788898092864"]
[null,null,"Descrizione fisica",null,"1 v. : ill., carte geografiche, 1 ritratto b/n ; 32x44 cm"]
[null,null,"Disciplina",null,"913.37"]
[null,null,"Locazione",null,"FARBC"]
[null,null,"Collocazione",null,"CART C 11"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Rist. anastatica dell'ed. Bononia, 1620"]