Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic Algebra and Analysis Durham July 9–21 1977 Fragments of the history of sheaf theory Finiteness and decidability:I Injective banach sheaves Simplicial sets and the foundations of analysis Localization with respect to a measure On the concept of a measurable space I Banach spaces in categories of sheaves The affine scheme of a general ring Localisation spectra and sheaf representation Concrete quasitopoi Higher dimensional torsors and the cohomology of topoi : The abelian theory Sheaf models for analysis Sheaves and logic Heyting valued models for intuitionistic set theory Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces Banach C(X) modules Continuity in spatial toposes A syntactic approach to Diers localizable categories Conditions related to de Morgans law Sheaves in physics — Twistor theory Sheaf representations and the dedekind reals Manifolds in formal differential geometry Note on non abelian cohomology Representations of rings and modules Cramers rule in the Zariski topos On the spectrum of a real representable ring On functorializing usual first order model theory Topos theory and complex analysis Identity and existence in intuitionistic logic Weak adjointness in proof theory Rank one projective modules over certain fourier algebras Boolean valued analysis Sheaf theoretical methods in the solution of Kaplanskys problem Generic Galois theory of local rings Sheaf theory and zero dimensional mappings.