Maurice L'Abbe

Publication Activity (10 Years)

Years Active: 1951-1953
Publications (10 Years): 0

Publications

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