Dorothy Bollman. Formal nonassociative number theory. Notre Dame Journal of Formal Logic, 8(1-2):9-16, 1967. [doi]
@article{Bollman67, title = {Formal nonassociative number theory}, author = {Dorothy Bollman}, year = {1967}, doi = {10.1305/ndjfl/1093956239}, url = {http://dx.doi.org/10.1305/ndjfl/1093956239}, researchr = {https://researchr.org/publication/Bollman67}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {8}, number = {1-2}, pages = {9-16}, }