Why Gödel didn't have church's thesis

This publication has 12 references indexed in Scilit:

• Origins of Recursive Function Theory
  IEEE Annals of the History of Computing, 1981
• Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
  Annals of Mathematics, 1961
• Recursive predicates and quantifiers
  Transactions of the American Mathematical Society, 1943
• On notation for ordinal numbers
  The Journal of Symbolic Logic, 1938
• General recursive functions of natural numbers
  Mathematische Annalen, 1936
• Finite combinatory processes—formulation
  The Journal of Symbolic Logic, 1936
• λ-definability and recursiveness
  Duke Mathematical Journal, 1936
• An Unsolvable Problem of Elementary Number Theory
  American Journal of Mathematics, 1936
• The Richard Paradox
  The American Mathematical Monthly, 1934
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931