@article{beeson1988b,
	author = {Michael Beeson},
	date-added = {2014-11-14 21:47:14 +0000},
	date-modified = {2014-11-14 21:48:38 +0000},
	journal = {Theoretical Computer Science},
	keywords = {Logic, Set theory, Symbolic computation},
	pages = {297-340},
	title = {Towards a computation system based on set theory,},
	url_pdf = {beeson1988b.pdf},
	volume = {60},
	year = {1988}}

{"_id":"S2mB8jJcy5pF5yLoa","bibbaseid":"beeson-towardsacomputationsystembasedonsettheory-1988","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 21:47:14 +0000","date-modified":"2014-11-14 21:48:38 +0000","journal":"Theoretical Computer Science","keywords":"Logic, Set theory, Symbolic computation","pages":"297-340","title":"Towards a computation system based on set theory,","url_pdf":"beeson1988b.pdf","volume":"60","year":"1988","bibtex":"@article{beeson1988b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 21:47:14 +0000},\n\tdate-modified = {2014-11-14 21:48:38 +0000},\n\tjournal = {Theoretical Computer Science},\n\tkeywords = {Logic, Set theory, Symbolic computation},\n\tpages = {297-340},\n\ttitle = {Towards a computation system based on set theory,},\n\turl_pdf = {beeson1988b.pdf},\n\tvolume = {60},\n\tyear = {1988}}\n\n","author_short":["Beeson, M."],"key":"beeson1988b","id":"beeson1988b","bibbaseid":"beeson-towardsacomputationsystembasedonsettheory-1988","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/beeson1988b.pdf"},"keyword":["Logic","Set theory","Symbolic computation"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","set theory","symbolic computation"],"search_terms":["towards","computation","system","based","set","theory","beeson"],"title":"Towards a computation system based on set theory,","year":1988}