Alonzo Church

According to our database, Alonzo Church authored at least 6 papers between 1936 and 1976.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

1976

Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski.

Alonzo Church

J. Symb. Log., 1976

1961

Prefactory Statement to the Index Volume.

Alonzo Church

J. Symb. Log., 1961

1952

Some Theorems on Definability and Decidability.

Alonzo Church, Willard Van Orman Quine

J. Symb. Log., 1952

1940

A Formulation of the Simple Theory of Types.

Alonzo Church

J. Symb. Log., 1940

1936

Correction to <i>A Note on the Entscheidungsproblem</i>.

Alonzo Church

J. Symb. Log., 1936

A Note on the Entscheidungsproblem.

Alonzo Church

J. Symb. Log., 1936