论文信息 - A formalization of the theory of sets from the point of view of combinatory logic - 字舞流文

A formalization of the theory of sets from the point of view of combinatory logic

[1] Haskell B. Curry. Grundlagen der kombinatorischen Logik , 1930 .

[2] Haskell B. Curry,et al. Some Additions to the Theory of Combinators , 1932 .

[3] H B Curry,et al. Functionality in Combinatory Logic. , 1934, Proceedings of the National Academy of Sciences of the United States of America.

[4] A. Church,et al. Some properties of conversion , 1936 .

[5] Haskell B. Curry,et al. The paradox of Kleene and Rosser , 1941 .

[6] A. Church. The calculi of lambda-conversion , 1941 .

[7] Haskell B. Curry,et al. A revision of the fundamental rules of combinatory logic , 1941, Journal of Symbolic Logic.

[8] Paul Bernays. A System of Axiomatic Set Theory: Part IV. General Set Theory , 1942, J. Symb. Log..

[9] Paul Bernays. A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis , 1942, J. Symb. Log..

[10] Haskell B. Curry,et al. The combinatory foundations of mathematical logic , 1942, Journal of Symbolic Logic.

[11] Paul Bernays. A System of Axiomatic Set Theory: Part V. General Set Theory , 1943, J. Symb. Log..

[12] Paul Bernays,et al. A system of axiomatic set theory—Part I , 1937, Journal of Symbolic Logic.

[13] Language, Metalanguage, and Formal System , 1950 .

[14] H. B. Curry. A Theory Of Formal Deducibility , 1950 .