Quantifier-free versions of first order logic and their psychological significance

Jan Mycielski. Quantifier-free versions of first order logic and their psychological significance. J. Philosophical Logic, 21(2):125-147, 1992. [doi]

Abstract

Abstract is missing.