{"_id":"ZZmLmYXzg2YJ7BAhQ","bibbaseid":"beeson-formalizingconstructivemathematicswhyandhow-1981","author_short":["Beeson, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Constructive Mathematics, Proceedings, New Mexico, 1980","date-added":"2014-11-14 17:19:41 +0000","date-modified":"2014-11-14 18:11:16 +0000","editor":[{"firstnames":["Fred"],"propositions":[],"lastnames":["Richman"],"suffixes":[]}],"keywords":"Logic, Constructive mathematics","pages":"146-191","series":"Lecture Notes in Mathematics","title":"Formalizing constructive mathematics: why and how?","volume":"873","year":"1981","bibtex":"@inproceedings{beeson1981,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Constructive Mathematics, Proceedings, New Mexico, 1980},\n\tdate-added = {2014-11-14 17:19:41 +0000},\n\tdate-modified = {2014-11-14 18:11:16 +0000},\n\teditor = {Fred Richman},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {146-191},\n\tseries = {Lecture Notes in Mathematics},\n\ttitle = {Formalizing constructive mathematics: why and how?},\n\tvolume = {873},\n\tyear = {1981}}\n\n","author_short":["Beeson, M."],"editor_short":["Richman, F."],"key":"beeson1981","id":"beeson1981","bibbaseid":"beeson-formalizingconstructivemathematicswhyandhow-1981","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics"],"search_terms":["formalizing","constructive","mathematics","beeson"],"title":"Formalizing constructive mathematics: why and how?","year":1981}