@article{beeson2025,
	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 = {2025}}

{"_id":"wM9cQ7us4yAbQ8QbL","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnf-2025","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":"2025","bibtex":"@article{beeson2025,\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 = {2025}}\n\n","author_short":["Beeson, M."],"key":"beeson2025","id":"beeson2025","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnf-2025","role":"author","urls":{" pdf":"https://michaelbeeson.com/research/papers/inf-basicsZML.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA","egXfKYX4HLN96MWsP"],"keywords":[],"search_terms":["finite","sets","mappings","cardinals","arithmetic","intuitionistic","beeson"],"title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF","year":2025,"downloads":3}