{"_id":"4aqiHh8oSJ2abppKQ","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-themetamathematicsofconstructivetheoriesofeffectiveoperations-1972","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:09:32 +0000","date-modified":"2014-11-14 18:09:23 +0000","keywords":"Logic, Constructive mathematics","school":"Stanford","title":"The metamathematics of constructive theories of effective operations","year":"1972","bibtex":"@phdthesis{beeson1972,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:09:32 +0000},\n\tdate-modified = {2014-11-14 18:09:23 +0000},\n\tkeywords = {Logic, Constructive mathematics},\n\tschool = {Stanford},\n\ttitle = {The metamathematics of constructive theories of effective operations},\n\tyear = {1972}}\n\n","author_short":["Beeson, M."],"key":"beeson1972","id":"beeson1972","bibbaseid":"beeson-themetamathematicsofconstructivetheoriesofeffectiveoperations-1972","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"phdthesis","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.949Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["metamathematics","constructive","theories","effective","operations","beeson"],"title":"The metamathematics of constructive theories of effective operations","year":1972,"dataSources":["v9esbf6gQ8h64d3NA"]}