Haskell B. Curry

The President, the Vice President, the Secretary-Treasurer, and B. A. BERNSTEIN,' MAX

Alfred Tarski, Alonzo Church, S. C. Kleene, 2016 .

Grundlagen der kombinatorischen Logik

Haskell B. Curry, 1930 .

Church Alonzo. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkül unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, pp. 22–37

Haskell B. Curry, W. Craig, 1953 .