Bruce Lercher

W. V. Quine. Variables explained away. Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343–347. Reprinted in <i>Selected logic papers,</i> by W. V. Quine, Random House, New York, pp. 227–235.

Bruce Lercher · Journal of Symbolic Logic · 1967 · 135 citations

Humanities, Mathematics, Philosophy +5

Frederic B. Fitch. Elements of combinatory logic. Yale University Press, New Haven and London1974, viii + 162 pp.

Bruce Lercher · Journal of Symbolic Logic · 1976 · 29 citations

Humanities, Mathematics, Combinatorics +6

Elements of Combinatory Logic

Bruce Lercher · International Studies in Philosophy · 1975 · 28 citations

Natural Sciences, Computer Science, Combinatorics +5

The decidability of hindley's axioms for strong reduction

Bruce Lercher · Journal of Symbolic Logic · 1967 · 11 citations

Natural Sciences, Computer Science, Mathematics +7