| |
| 1953 | ||
|---|---|---|
| 2 | Maurice L'Abbe: Systems of Transfinite Types Involving lambda-Conversion. J. Symb. Log. 18(3): 209-224 (1953) | |
| 1951 | ||
| 1 | Maurice L'Abbe: On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. J. Symb. Log. 16(1): 43-45 (1951) | |