Semantical investigations in Heyting's intuitionistic logic. Gabbay, D. M Volume 148 , Springer Science & Business Media, 2013. bibtex @Book{Gabbay2013,
title = {Semantical investigations in Heyting's intuitionistic logic},
publisher = {Springer Science \& Business Media},
year = {2013},
author = {Gabbay, Dov M},
volume = {148},
}
Downloads: 0
{"_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"]}