Recursive Functionals and Quantifiers of Finite Types Revisited I

This publication has 11 references indexed in Scilit:

• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Hierarchies of number-theoretic predicates
  Bulletin of the American Mathematical Society, 1955
• Recursive predicates and quantifiers
  Transactions of the American Mathematical Society, 1943
• On notation for ordinal numbers
  The Journal of Symbolic Logic, 1938
• Computability and λ-definability
  The Journal of Symbolic Logic, 1937
• On Computable Numbers, with an Application to the Entscheidungsproblem
  Proceedings of the London Mathematical Society, 1937
• General recursive functions of natural numbers
  Mathematische Annalen, 1936
• An Unsolvable Problem of Elementary Number Theory
  American Journal of Mathematics, 1936
• A note on recursive functions
  Bulletin of the American Mathematical Society, 1936
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931