{"_id":"Fe7pbk2mw937GhbGF","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-derivedrulesofinferencerelatedtothecontinuityofeffectiveoperations-1976","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:05:56 +0000","date-modified":"2014-11-14 18:09:47 +0000","journal":"Journal of Symbolic Logic","keywords":"Logic, Constructive mathematics","pages":"328-336","title":"Derived rules of inference related to the continuity of effective operations","volume":"41","year":"1976","bibtex":"@article{beeson1976c,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:05:56 +0000},\n\tdate-modified = {2014-11-14 18:09:47 +0000},\n\tjournal = {Journal of Symbolic Logic},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {328-336},\n\ttitle = {Derived rules of inference related to the continuity of effective operations},\n\tvolume = {41},\n\tyear = {1976}}\n\n","author_short":["Beeson, M."],"key":"beeson1976c","id":"beeson1976c","bibbaseid":"beeson-derivedrulesofinferencerelatedtothecontinuityofeffectiveoperations-1976","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.954Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["derived","rules","inference","related","continuity","effective","operations","beeson"],"title":"Derived rules of inference related to the continuity of effective operations","year":1976,"dataSources":["v9esbf6gQ8h64d3NA"]}