Alonzo Church

Publication Activity (10 Years)

Years Active: 1936-1976
Publications (10 Years): 0

Publications

Alonzo Church
Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski. J. Symb. Log. 41 (4) (1976)
Alonzo Church
Prefactory Statement to the Index Volume. J. Symb. Log. 26 (1/2) (1961)
Alonzo Church, Willard Van Orman Quine
Some Theorems on Definability and Decidability. J. Symb. Log. 17 (3) (1952)
Alonzo Church
A Formulation of the Simple Theory of Types. J. Symb. Log. 5 (2) (1940)
Alonzo Church
. J. Symb. Log. 1 (3) (1936)
Alonzo Church
A Note on the Entscheidungsproblem. J. Symb. Log. 1 (1) (1936)