 | 1976 |
|---|
| 6 |       | Alonzo Church:
Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski.
J. Symb. Log. 41(4): 747-760 (1976) |
| 1961 |
|---|
| 5 | | Alonzo Church:
Prefactory Statement to the Index Volume.
J. Symb. Log. 26(1/2): 1 (1961) |
| 1952 |
|---|
| 4 | | Alonzo Church,
W. V. Quine:
Some Theorems on Definability and Decidability.
J. Symb. Log. 17(3): 179-187 (1952) |
| 1940 |
|---|
| 3 | | Alonzo Church:
A Formulation of the Simple Theory of Types.
J. Symb. Log. 5(2): 56-68 (1940) |
| 1936 |
|---|
| 2 | | Alonzo Church:
A Note on the Entscheidungsproblem.
J. Symb. Log. 1(1): 40-41 (1936) |
| 1 | | Alonzo Church:
Correction to a Note on the Entscheidungsproblem.
J. Symb. Log. 1(3): 101-102 (1936) |
