Paśniczek, J. (2004) “Equating categorially names and quantifiers within first-order logic”, Logic and Logical Philosophy, 10(10), pp. 119–129. doi: 10.12775/LLP.2002.007.