Recursive predicates and quantifiers

[1]  A. Heyting.  Die formalen Regeln der intuitionistischen Logik , 1930 .

[2]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[3]  P. Bernays,et al.  Grundlagen der Mathematik , 1934 .

[4]  S. Kleene,et al.  The Inconsistency of Certain Formal Logics , 1935 .

[5]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

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

[7]  A. Church.  An Unsolvable Problem of Elementary Number Theory , 1936 .

[8]  A. Church,et al.  Some properties of conversion , 1936 .

[9]  S. Kleene.  General recursive functions of natural numbers , 1936 .

[10]  S. C. Kleene,et al.  A note on recursive functions , 1936 .

[11]  Alonzo Church,et al.  Formal definitions in the theory of ordinal numbers , 1937 .

[12]  J. Barkley Rosser,et al.  Gödel Theorems for Non-Constructive Logics , 1937, Journal of Symbolic Logic.

[13]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

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

[15]  A. Church.  The constructive second number class , 1938 .

[16]  Alfred Tarski,et al.  On undecidable statements in enlarged systems of logic and the concept of truth , 1939, Journal of Symbolic Logic.

[17]  Haskell B. Curry,et al.  Some aspects of the problem of mathematical rigor , 1941 .

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

[19]  S. Kleene.  On the Forms of the Predicates in the Theory of Constructive Ordinals , 1944 .