Paśniczek, Jacek. 2004. “Equating Categorially Names and Quantifiers Within First-Order Logic”. Logic and Logical Philosophy 10 (10):119–129. https://doi.org/10.12775/LLP.2002.007.