@article{beeson1978a,
	author = {Michael Beeson},
	date-added = {2014-11-14 17:00:54 +0000},
	date-modified = {2014-11-17 16:37:19 +0000},
	journal = {Journal of Symbolic Logic},
	keywords = {Logic, Constructive mathematics, Proof theory},
	pages = {213-227},
	title = {A type-free {G}{\"o}del interpretation},
	volume = {43},
	year = {1978}}

{"_id":"BpY8MAqmM8TPYZSeJ","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-atypefreegdelinterpretation-1978","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:00:54 +0000","date-modified":"2014-11-17 16:37:19 +0000","journal":"Journal of Symbolic Logic","keywords":"Logic, Constructive mathematics, Proof theory","pages":"213-227","title":"A type-free Gödel interpretation","volume":"43","year":"1978","bibtex":"@article{beeson1978a,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:00:54 +0000},\n\tdate-modified = {2014-11-17 16:37:19 +0000},\n\tjournal = {Journal of Symbolic Logic},\n\tkeywords = {Logic, Constructive mathematics, Proof theory},\n\tpages = {213-227},\n\ttitle = {A type-free {G}{\\\"o}del interpretation},\n\tvolume = {43},\n\tyear = {1978}}\n\n","author_short":["Beeson, M."],"key":"beeson1978a","id":"beeson1978a","bibbaseid":"beeson-atypefreegdelinterpretation-1978","role":"author","urls":{},"keyword":["Logic","Constructive mathematics","Proof theory"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T23:08:23.989Z","downloads":0,"keywords":["logic","constructive mathematics","proof theory"],"search_terms":["type","free","del","interpretation","beeson"],"title":"A type-free Gödel interpretation","year":1978,"dataSources":["v9esbf6gQ8h64d3NA"]}