Jan Mycielski. Quantifier-free versions of first order logic and their psychological significance. J. Philosophical Logic, 21(2):125-147, 1992. [doi]
@article{Mycielski92, title = {Quantifier-free versions of first order logic and their psychological significance}, author = {Jan Mycielski}, year = {1992}, doi = {10.1007/BF00248635}, url = {http://dx.doi.org/10.1007/BF00248635}, researchr = {https://researchr.org/publication/Mycielski92}, cites = {0}, citedby = {0}, journal = {J. Philosophical Logic}, volume = {21}, number = {2}, pages = {125-147}, }