@article{beeson1979a,
	author = {Michael Beeson},
	date-added = {2014-11-14 17:13:46 +0000},
	date-modified = {2014-11-14 18:10:48 +0000},
	journal = {Pacific Journal of Mathematics},
	keywords = {Logic, Constructive mathematics},
	pages = {1-16},
	title = {Goodman's theorem and beyond},
	volume = {84},
	year = {1979}}

{"_id":"4cGmYHHYg4FnASvvt","bibbaseid":"beeson-goodmanstheoremandbeyond-1979","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:13:46 +0000","date-modified":"2014-11-14 18:10:48 +0000","journal":"Pacific Journal of Mathematics","keywords":"Logic, Constructive mathematics","pages":"1-16","title":"Goodman's theorem and beyond","volume":"84","year":"1979","bibtex":"@article{beeson1979a,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:13:46 +0000},\n\tdate-modified = {2014-11-14 18:10:48 +0000},\n\tjournal = {Pacific Journal of Mathematics},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {1-16},\n\ttitle = {Goodman's theorem and beyond},\n\tvolume = {84},\n\tyear = {1979}}\n\n","author_short":["Beeson, M."],"key":"beeson1979a","id":"beeson1979a","bibbaseid":"beeson-goodmanstheoremandbeyond-1979","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":["goodman","theorem","beyond","beeson"],"title":"Goodman's theorem and beyond","year":1979}