{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":36,"n_cols":5,"rows_kept":36,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[17,2,17,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910482884903321"]
[null,null,"Autore",null,"Goldblatt Robert"]
[null,null,"Titolo",null,"Topoi : the categorial analysis of logic / / Robert Goldblatt"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, Netherlands ; ; New York, New York : , : North-Holland, , 1984"]
[{"$nulls":4},"©1984"]
[null,null,"ISBN",null,"1-4832-9921-X"]
[null,null,"Edizione",null,"[2nd ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (569 p.)"]
[null,null,"Collana",null,"Studies in Logic and the Foundations of Mathematics ; ; Volume 98"]
[null,null,"Disciplina",null,"512.55"]
[{"$nulls":4},"512/.55"]
[null,null,"Soggetti",null,"Toposes"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Front Cover; Topoi: The Categorial Analysis of Logic; Copyright Page; Dedication; PREFACE; PREFACE TO SECOND EDITION; Table of Contents; PROSPECTUS; CHAPTER 1. MATHEMATICS = SET THEORY?; 1. Set theory; 2. Foundations of mathematics; 3. Mathematics as set theory; CHAPTER 2. WHAT CATEGORIES ARE; 1. Functions are sets?; 2. Composition of functions; 3. Categories: first examples; 4. The pathology of abstraction; 5. Basic examples; CHAPTER 3. ARROWS INSTEAD OF EPSILON; 1. Monic arrows; 2. Epic arrows; 3. Iso arrows; 4. Isomorphic objects; 5. Initial objects; 6. Terminal objects; 7. Duality"]
[{"$nulls":4},"8. Products9. Co-products; 10. Equalisers; 11. Limits and co-limits; 12. Co-equalisers; 13. Thepullback; 14. Pushouts; 15. Completeness; 16. Exponentiation; CHAPTER 4. INTRODUCING TOPOI; 1. Subobjects; 2. Classifying subobjects; 3. Definition of topos; 4. First examples; 5. Bundles and sheaves; 6. Monoid actions; 7. Power objects; 8. Ωand comprehension; CHAPTER 5. TOPOS STRUCTURE: FIRST STEPS; 1. Monies equalise; 2. Images of arrows; 3. Fundamental facts; 4. Extensionality and bivalence; 5. Monies and epics by elements; CHAPTER 6. LOGIC CLASSICALLY CONCEIVED; 1. Motivating topos logic"]
[{"$nulls":4},"2. Propositions and truth-values3. The prepositional calculus; 4. Boolean algebra; 5. Algebraic semantics; 6. Truth-functions as arrows; 7.E-semantics; CHAPTER 7. ALGEBRA OF SUBOBJECTS; 1. Complement, intersection, union; 2. Sub(d) as a lattice; 3. Boolean topoi; 4. Internal vs. external; 5. Implication and its implications; 6. Filling two gaps; 7. Extensionality revisited; CHAPTER 8. INTUITIONISM AND ITS LOGIC; 1. Constructivist philosophy; 2. Heyting's calculus; 3. Heyting algebras; 4. "]
[{"$nulls":4},"Kripke semantics; CHAPTER 9. FUNCTORS; 1. The concept of functor; 2. Natural transformations"]
[{"$nulls":4},"3. Functor categoriesCHAPTER 10. SET CONCEPTS AND VALIDITY; 1. Set concepts; 2. Heyting algebras in P; 3. The subobject classifier inSetp; 4. The truth arrows; 5. Validity; 6. Applications; CHAPTER 11. ELEMENTARY TRUTH; 1. The idea of a first-orderlanguage; 2. Formal language andsemantics; 3. Axiomatics; 4. Models in a topos; 5. Substitution and soundness; 6. Kripke models; 7. Completeness; 8. Existence and free logic; 9. Heyting-valued sets; 10. High-order logic; CHAPTER 12. CATEGORIAL SET THEORY; 1. Axioms of choice; 2. Natural numbers objects; 3. Formal set theory; 4. Transitive sets"]
[{"$nulls":4},"5. Set-objects6. Equivalence of models; CHAPTER 13. ARITHMETIC; 1. Topoi as foundations; 2. Primitive recursion; 3. Peano postulates; CHAPTER 14. LOCAL TRUTH; 1. Stacks and sheaves; 2. Classifying stacks and sheaves; 3. Grothendiecktopoi; 4. Elementary sites; 5. Geometric modality; 6. Kripke-Joyalsemantics; 7. Sheaves as completeΩ-sets; 8. Number systems as sheaves; CHAPTER 15. ADJOINTNESS AND QUANTIFIERS; 1. Adjunctions; 2. Some adjoint situations; 3. The fundamental theorem; 4. Quantifiers; CHAPTER 16. LOGICAL GEOMETRY; 1. Preservation and reflection; 2. Geometric morphisms"]
[{"$nulls":4},"3. Internal logic"]
[null,null,null,"Sommario/riassunto","The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics,"]
[null,"2.","Record Nr.",null,"UNIORUON00003086"]
[null,null,"Titolo",null,"Der Septuaginta-Text des Buchs Daniel : Kap. 5-12, zusammen mit Susanna, Bel et Drago ; sowie Esther, Kap. I, Ia-2,15/ hrsg. von Angelo Geissen"]
[null,null,"Pubbl/distr/stampa",null,"313 p. ; 27 cm"]
[null,null,"Titolo uniforme",null,"Bibbia. Antico Testamento. Daniele"]
[null,null,"Edizione",null,"[Bonn : Rudolf Habelt]"]
[null,null,"Descrizione fisica",null,"Dalla parte coloniense del pap. 967"]
[null,null,"Classificazione",null,"SEB VI AB"]
[null,null,"Soggetti",null,"BIBBIA - ANTICO TESTAMENTO - COMMENTARI - DANIELE"]
[null,null,"Lingua di pubblicazione",null,"Molteplice"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]