A Note on the Entscheidungsproblem. - Alonzo Church (J. Symb. Log., 1936)

Correction to A Note on the Entscheidungsproblem. - Alonzo Church (J. Symb. Log., 1936)

A Formulation of the Simple Theory of Types. - Alonzo Church (J. Symb. Log., 1940)

Some Theorems on Definability and Decidability. - Alonzo Church; Willard Van Orman Quine (J. Symb. Log., 1952)

Prefactory Statement to the Index Volume. - Alonzo Church (J. Symb. Log., 1961)

Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski. - Alonzo Church (J. Symb. Log., 1976)