{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:54:24Z","timestamp":1648922064322},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/bf00394444","type":"journal-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T13:49:43Z","timestamp":1099921783000},"page":"237-256","source":"Crossref","is-referenced-by-count":0,"title":["Sheaves over Heyting lattices"],"prefix":"10.1007","volume":"44","author":[{"given":"Andrzej W.","family":"Jankowski","sequence":"first","affiliation":[]},{"given":"Marek","family":"Zawadowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"M. P. Fourman and D. S. Scott, Sheaves and logic in applications of sheaves, Proceedings of Durham Symposium, LNM vol. 753, Springer 1979.","DOI":"10.1007\/BFb0061824"},{"key":"CR2","volume-title":"A Category Approach to Boolean Valued Set Theory","author":"D. Higgs","year":"1973","unstructured":"D. Higgs, A Category Approach to Boolean Valued Set Theory, University of Waterloo, Waterloo 1973."},{"key":"CR3","volume-title":"Problem mi?dzyresortowy pt. Teorie matematyozne i ich zastosowania M.R.I. 1","author":"A. W. Jankowski","year":"1983","unstructured":"A. W. Jankowski, Snopy Nad Algebrami Heytinga, Problem mi?dzyresortowy pt. Teorie matematyozne i ich zastosowania M.R.I. 1, University of Warsaw, Warszawa 1983. (In Polish.)"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Springer 1971.","DOI":"10.1007\/978-1-4612-9839-7"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00394444.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00394444\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00394444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T22:11:13Z","timestamp":1585951873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00394444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"references-count":4,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1985]]}},"alternative-id":["BF00394444"],"URL":"https:\/\/doi.org\/10.1007\/bf00394444","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}