@Book{Gabbay2013,
		  title     = {Semantical investigations in Heyting's intuitionistic logic},
		    publisher = {Springer Science \& Business Media},
			  year      = {2013},
			    author    = {Gabbay, Dov M},
				  volume    = {148},
}

{"_id":"rSQDFE3tgdecCAjMm","bibbaseid":"gabbay-semanticalinvestigationsinheytingsintuitionisticlogic-2013","authorIDs":[],"author_short":["Gabbay, D. M"],"bibdata":{"bibtype":"book","type":"book","title":"Semantical investigations in Heyting's intuitionistic logic","publisher":"Springer Science & Business Media","year":"2013","author":[{"propositions":[],"lastnames":["Gabbay"],"firstnames":["Dov","M"],"suffixes":[]}],"volume":"148","bibtex":"@Book{Gabbay2013,\n\t\t title = {Semantical investigations in Heyting's intuitionistic logic},\n\t\t publisher = {Springer Science \\& Business Media},\n\t\t\t year = {2013},\n\t\t\t author = {Gabbay, Dov M},\n\t\t\t\t volume = {148},\n}\n\n","author_short":["Gabbay, D. M"],"key":"Gabbay2013","id":"Gabbay2013","bibbaseid":"gabbay-semanticalinvestigationsinheytingsintuitionisticlogic-2013","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"book","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.837Z","downloads":0,"keywords":[],"search_terms":["semantical","investigations","heyting","intuitionistic","logic","gabbay"],"title":"Semantical investigations in Heyting's intuitionistic logic","year":2013,"dataSources":["ChWnbF8EqSa8nccMs"]}