Lambda Calculus: Some Models, Some Philosophy

This publication has 18 references indexed in Scilit:

• On the consistency of a slight (?) Modification of quine'sMew Foundations
  Synthese, 1968
• λ-definability and recursiveness
  Duke Mathematical Journal, 1936
• Some properties of conversion
  Transactions of the American Mathematical Society, 1936
• The Inconsistency of Certain Formal Logics
  Annals of Mathematics, 1935
• A Theory of Positive Integers in Formal Logic. Part I
  American Journal of Mathematics, 1935
• Proof by Cases in Formal Logic
  Annals of Mathematics, 1934
• A Set of Postulates For the Foundation of Logic
  Annals of Mathematics, 1933
• A Set of Postulates for the Foundation of Logic
  Annals of Mathematics, 1932
• Grundlagen der Kombinatorischen Logik
  American Journal of Mathematics, 1930
• An Analysis of Logical Substitution
  American Journal of Mathematics, 1929