{"_id":"ET2tHYBF7WaZfihTs","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-foundationsofconstructivemathematicsmetamathematicalstudies-1985","bibdata":{"bibtype":"book","type":"book","address":"Berlin Heidelberg New York Tokyo","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 16:48:13 +0000","date-modified":"2019-02-28 15:14:25 -0800","keywords":"Logic, Constructive mathematics","number":"6","publisher":"Springer","series":"Ergebnisse der Mathematik und ihrer Grenzgebiete","title":"Foundations of Constructive Mathematics: Metamathematical Studies","year":"1985","bibtex":"@book{beeson1985a,\n\taddress = {Berlin Heidelberg New York Tokyo},\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 16:48:13 +0000},\n\tdate-modified = {2019-02-28 15:14:25 -0800},\n\tkeywords = {Logic, Constructive mathematics},\n\tnumber = {6},\n\tpublisher = {Springer},\n\tseries = {Ergebnisse der Mathematik und ihrer Grenzgebiete},\n\ttitle = {Foundations of Constructive Mathematics: Metamathematical Studies},\n\tyear = {1985}}\n\n","author_short":["Beeson, M."],"key":"beeson1985a","id":"beeson1985a","bibbaseid":"beeson-foundationsofconstructivemathematicsmetamathematicalstudies-1985","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"book","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.993Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["foundations","constructive","mathematics","metamathematical","studies","beeson"],"title":"Foundations of Constructive Mathematics: Metamathematical Studies","year":1985,"dataSources":["v9esbf6gQ8h64d3NA"]}