论文信息 - Quantifier-free versions of first order logic and their psychological significance - 字舞流文

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

[1] John W. Moon,et al. Hereditarily finite sets and identity trees , 1983, J. Comb. Theory, Ser. B.

[2] Jan Mycielski,et al. Analysis without actual infinity , 1981, Journal of Symbolic Logic.

[3] Alan S. Stern,et al. A Lattice of Chapters of Mathematics: Interpretations Between Theorems , 1990 .

[4] Zygmunt Frajzyngier,et al. The de dicto domain in language , 1991 .

[5] Jan Mycielski. The meaning of pure mathematics , 1989, J. Philos. Log..

[6] Pavel Pudlák,et al. Cuts, consistency statements and interpretations , 1985, Journal of Symbolic Logic.

[7] Mycielski. Finitistic real analysis , 1980 .

[8] Imre Lakatos,et al. On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[9] Robert L. Vaught,et al. Axiomatizability by a schema , 1968, Journal of Symbolic Logic.

[10] Philip J. Davis,et al. The Mathematical Experience , 1982 .

[11] Jan Mycielski,et al. Locally finite theories , 1986, Journal of Symbolic Logic.

[12] Gian-Carlo Rota,et al. Fundierung as a Logical Concept , 1989 .