论文信息 - A system of formal logic without an analogue to the curry W operator - 字舞流文

A system of formal logic without an analogue to the curry W operator

Frederic Brenton Fitch | F. B. Fitch

[1] J. Rosser. A mathematical logic without variables. II , 1935 .

[2] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .

[3] Haskell B. Curry,et al. Apparent Variables From the Standpoint of Combinatory Logic , 1933 .

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

[5] Charles A. Baylis,et al. Are Some Propositions Neither True nor False? , 1936, Philosophy of Science.

[6] J. Rosser. A Mathematical Logic Without Variables. I , 1935 .

[7] P. Bernays. Axiomatische Untersuchung des Aussagen-Kalkuls der “Principia Mathematica” , 1926 .

[8] Haskell B. Curry. The Universal Quantifier in Combinatory Logic , 1931 .