Quantifier-free versions of first order logic and their psychological significance |
| |
Authors: | Jan Mycielski |
| |
Affiliation: | (1) Department of Mathematics, University of Colorado, 80309-0426 Boulder, CO, U.S.A. |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|