A logic stronger than intuitionism. Görnemann, S. The Journal of Symbolic Logic, 36(02):249–261, Cambridge Univ Press, 1971. bibtex @Article{Goernemann1971,
author = {G{\"o}rnemann, S.},
title = {A logic stronger than intuitionism},
journal = {The Journal of Symbolic Logic},
year = {1971},
volume = {36},
number = {02},
pages = {249--261},
date-modified = {2017-04-30 01:23:39 +0000},
publisher = {Cambridge Univ Press},
}
Downloads: 0
{"_id":"FdjnkzyPsGLBNxCut","bibbaseid":"grnemann-alogicstrongerthanintuitionism-1971","authorIDs":[],"author_short":["Görnemann, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Görnemann"],"firstnames":["S."],"suffixes":[]}],"title":"A logic stronger than intuitionism","journal":"The Journal of Symbolic Logic","year":"1971","volume":"36","number":"02","pages":"249–261","date-modified":"2017-04-30 01:23:39 +0000","publisher":"Cambridge Univ Press","bibtex":"@Article{Goernemann1971,\n\t\t author = {G{\\\"o}rnemann, S.},\n\t\t title = {A logic stronger than intuitionism},\n\t\t\t journal = {The Journal of Symbolic Logic},\n\t\t\t year = {1971},\n\t\t\t\t volume = {36},\n\t\t\t\t number = {02},\n\t\t\t\t\t pages = {249--261},\n\t\t\t\t\t date-modified = {2017-04-30 01:23:39 +0000},\n\t\t\t\t\t\t publisher = {Cambridge Univ Press},\n}\n\n","author_short":["Görnemann, S."],"key":"Goernemann1971","id":"Goernemann1971","bibbaseid":"grnemann-alogicstrongerthanintuitionism-1971","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.837Z","downloads":0,"keywords":[],"search_terms":["logic","stronger","intuitionism","görnemann"],"title":"A logic stronger than intuitionism","year":1971,"dataSources":["ChWnbF8EqSa8nccMs"]}