RESTALL, Greg. Models for Substructural Arithmetics. The Australasian Journal of Logic, [S.l.], v. 8, sep. 2010. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1814>. Date accessed: 20 oct. 2019. doi: https://doi.org/10.26686/ajl.v8i0.1814.