Reyes, Gonzalo E. From sheaves to logic. (English) Zbl 0344.02042 Stud. algebr. Logic, MAA Stud. Math. 9, 143-204 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 5 Documents MSC: 03G25 Other algebras related to logic 18A15 Foundations, relations to logic and deductive systems 18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) PDFBibTeX XML