@article{beeson1980c,
	author = {Michael Beeson},
	date-added = {2014-11-14 21:01:14 +0000},
	date-modified = {2014-11-14 21:02:51 +0000},
	journal = {Pacific Journal of Mathematics},
	keywords = {Logic, Constructive mathematics},
	pages = {1-28},
	title = {Extensionality and choice in constructive mathematics},
	volume = {88},
	year = {1980}}

{"_id":"sN8YP8RK2Z3H7hGeh","bibbaseid":"beeson-extensionalityandchoiceinconstructivemathematics-1980","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 21:01:14 +0000","date-modified":"2014-11-14 21:02:51 +0000","journal":"Pacific Journal of Mathematics","keywords":"Logic, Constructive mathematics","pages":"1-28","title":"Extensionality and choice in constructive mathematics","volume":"88","year":"1980","bibtex":"@article{beeson1980c,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 21:01:14 +0000},\n\tdate-modified = {2014-11-14 21:02:51 +0000},\n\tjournal = {Pacific Journal of Mathematics},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {1-28},\n\ttitle = {Extensionality and choice in constructive mathematics},\n\tvolume = {88},\n\tyear = {1980}}\n\n","author_short":["Beeson, M."],"key":"beeson1980c","id":"beeson1980c","bibbaseid":"beeson-extensionalityandchoiceinconstructivemathematics-1980","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":["extensionality","choice","constructive","mathematics","beeson"],"title":"Extensionality and choice in constructive mathematics","year":1980}