Bruce Lercher

Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36.

Bruce Lercher, 1972 .

Strong Reduction and Normal Form in Combinatory Logic

Bruce Lercher, 1967, J. Symb. Log..

Recursive Number Theory

Bruce Lercher, R. L. Goodstein, Bruce Lercher, 1958, The Mathematical Gazette.

Review: Frederic B. Fitch, Elements of Combinatory Logic

Bruce Lercher, 1976 .

The Decidability of Hindley's Axioms for Strong Reduction

Bruce Lercher, 1967, J. Symb. Log..

Review: Frederic B. Fitch, The System $C\Delta$ of Combinatory Logic

Bruce Lercher, Bruce Lercher, 1964 .

A short proof of Curry’s normal form theorem

Bruce Lercher, R. Hindley, Roger Hindley, 1970 .