Restall, Greg. " Models for Substructural Arithmetics." The Australasian Journal of Logic [Online], 8 (2011): n. pag. Web. 27 May. 2020