@article{beeson2021,
	author = {Michael Beeson},
	date-added = {2021-03-23 13:15:55 -0700},
	date-modified = {2021-03-23 14:55:22 -0700},
	title = {Finite sets, mappings, cardinals, and  arithmetic in intuitionistic {NF}},
	url_pdf = {inf-basicsZML.pdf},
	year = {2021}}

{"_id":"3nCmDmafpmnQTXbSn","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnf-2021","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2021-03-23 13:15:55 -0700","date-modified":"2021-03-23 14:55:22 -0700","title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF","url_pdf":"inf-basicsZML.pdf","year":"2021","bibtex":"@article{beeson2021,\n\tauthor = {Michael Beeson},\n\tdate-added = {2021-03-23 13:15:55 -0700},\n\tdate-modified = {2021-03-23 14:55:22 -0700},\n\ttitle = {Finite sets, mappings, cardinals, and arithmetic in intuitionistic {NF}},\n\turl_pdf = {inf-basicsZML.pdf},\n\tyear = {2021}}\n\n","author_short":["Beeson, M."],"key":"beeson2021","id":"beeson2021","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnf-2021","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/inf-basicsZML.pdf"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":[],"search_terms":["finite","sets","mappings","cardinals","arithmetic","intuitionistic","beeson"],"title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF","year":2021,"downloads":2}