Restall, G. (2010). Models for Substructural Arithmetics. The Australasian Journal Of Logic, 8. doi:10.26686/ajl.v8i0.1814