@InProceedings{Sco79, Author = "Scott, D.", Year = "1979", Title = "{Identity and Existence in Intuitionist Logic}", Editor = "Fournam M.P.", BookTitle = "{Durham Proceedings Applications of Sheaves}", Pages = "660-696", Publisher = "Lecture Notes in Mathematics Volume 753, Springer", Comment = "TPTPRef" }