Kosta Dosen. An intuitionistic Sheffer function. Notre Dame Journal of Formal Logic, 26(4):479-482, 1985. [doi]
@article{Dosen85-0, title = {An intuitionistic Sheffer function}, author = {Kosta Dosen}, year = {1985}, doi = {10.1305/ndjfl/1093870939}, url = {http://dx.doi.org/10.1305/ndjfl/1093870939}, researchr = {https://researchr.org/publication/Dosen85-0}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {26}, number = {4}, pages = {479-482}, }