The calculi of lambda-conversion

The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.

[1]  Addenda , 1803, The Medical and Physical Journal.

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

[3]  D. Hilbert.  Über das Unendliche , 1926 .

[4]  H. B. Curry.  An Analysis of Logical Substitution , 1929 .

[5]  Jacques Herbrand.  Sur la non-contradiction de l'Arithmétique. , 1932 .

[6]  H. B. Curry.  First Properties of Functionality in Combinatory Logic , 1935 .

[7]  S. Kleene.  A Theory of Positive Integers in Formal Logic. Part II , 1935 .

[8]  J. Barkley Rosser,et al.  Extensions of some theorems of Gödel and Church , 1936, Journal of Symbolic Logic.

[9]  Frederic Brenton Fitch,et al.  A system of formal logic without an analogue to the curry W operator , 1936, Journal of Symbolic Logic.

[10]  R. Peter,et al.  Über die mehrfache Rekursion , 1937 .

[11]  Stephen Cole Kleene,et al.  On notation for ordinal numbers , 1938, Journal of Symbolic Logic.

[12]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[13]  A. Church.  On the concept of a random sequence , 1940 .

[14]  Haskell B. Curry,et al.  Consistency and completeness of the theory of combinators , 1941, Journal of Symbolic Logic (JSL).

[15]  Haskell B. Curry.  A Formalization of Recursive Arithmetic , 1941 .

[16]  Haskell B. Curry.  The Inconsistency of Certain Formal Logic , 1942, J. Symb. Log..

[17]  J. Barkley Rosser,et al.  New sets of postulates for combinatory logics , 1942, Journal of Symbolic Logic.

[18]  Frederic Brenton Fitch,et al.  A basic logic , 1942, Journal of Symbolic Logic.

[19]  H. B. Curry.  The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.

[20]  M. Newman.  On Theories with a Combinatorial Definition of "Equivalence" , 1942 .

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

[22]  H B Curry.  Some Advances in the Combinatory Theory of Quantification. , 1942, Proceedings of the National Academy of Sciences of the United States of America.

[23]  M. H. A. Newman,et al.  Stratified systems of logic , 1943, Mathematical Proceedings of the Cambridge Philosophical Society.

[24]  Emil L. Post.  Formal Reductions of the General Combinatorial Decision Problem , 1943 .