{"_id":"SchRrGLBiEtocen3Q","bibbaseid":"beeson-thenonderivabilityinintuitionisticformalsystemsoftheoremsonthecontinuityofeffectiveoperations-1976","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:07:04 +0000","date-modified":"2014-11-14 18:09:32 +0000","journal":"Journal of Symbolic Logic","keywords":"Logic, Constructive mathematics","pages":"321-346","title":"The non-derivability in intuitionistic formal systems of theorems on the continuity of effective operations","volume":"40","year":"1976","bibtex":"@article{beeson1976a,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:07:04 +0000},\n\tdate-modified = {2014-11-14 18:09:32 +0000},\n\tjournal = {Journal of Symbolic Logic},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {321-346},\n\ttitle = {The non-derivability in intuitionistic formal systems of theorems on the continuity of effective operations},\n\tvolume = {40},\n\tyear = {1976}}\n\n","author_short":["Beeson, M."],"key":"beeson1976a","id":"beeson1976a","bibbaseid":"beeson-thenonderivabilityinintuitionisticformalsystemsoftheoremsonthecontinuityofeffectiveoperations-1976","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics"],"search_terms":["non","derivability","intuitionistic","formal","systems","theorems","continuity","effective","operations","beeson"],"title":"The non-derivability in intuitionistic formal systems of theorems on the continuity of effective operations","year":1976}