- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Bruce Lercher
17 found
Order:
- Strong reduction and normal form in combinatory logic.Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (2):213-223.
- The decidability of Hindley's axioms for strong reduction.Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (2):237-239.
- Lambda-calculus terms that reduce to themselves.Bruce Lercher - 1976 - Notre Dame Journal of Formal Logic 17 (2):291-292.
- Elements of Combinatory Logic.Bruce Lercher - 1975 - International Studies in Philosophy 7:203-203.
- Frederic B. Fitch. The system CΔ of combinatory logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 87–97.Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.
- [Omnibus Review].Bruce Lercher - 1966 - Journal of Symbolic Logic 31 (2):272-272.
- Elements of Combinatory Logic.Bruce Lercher - 1974 - Journal of Symbolic Logic 41 (4):789-790.
- Fitch Frederic B.. Elements of combinatory logic. Yale University Press, New Haven and London 1974, viii + 162 pp. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
- 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. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
- K. Menger. The algebra of functions: past, present, future. Rendiconti di matematica, vol. 20 , pp. 409–430. - Karl Menger. Function algebra and propositional calculus. Self-organizing systems 1962, edited by Marshall C. Yovits, George T. Jacobi, and Gordon D. Goldstein, Spartan Books, Washington, D.C., 1962, pp. 525–532. - Karl Menger and Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 188–192. - Robert E. Seall. Truth-valued fluents and qualitative laws. Philosophy of science, vol. 30 , pp. 36–10. [REVIEW]Bruce Lercher - 1966 - Journal of Symbolic Logic 31 (2):272.
- Proofs and Refutations. [REVIEW]Bruce Lercher - 1978 - International Studies in Philosophy 10:192-193.
- Proofs and Refutations. [REVIEW]Bruce Lercher - 1978 - International Studies in Philosophy 10:192-193.No categories
- Review: Frederic B. Fitch, Elements of Combinatory Logic. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
- Review: Frederic B. Fitch, The System $CDelta$ of Combinatory Logic. [REVIEW]Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.Export citation
Bookmark - Review: Frederic B. Fitch, Quasi-Constructive Foundations for Mathematics. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
- Review: W. V. Quine, Variables Explained Away. [REVIEW]Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (1):112-112.Export citation Bookmark
- W. V. Quine. Variables explained away. Proceedings of the American Philosophical Society, vol. 104 , pp. 343–347. Reprinted in Selected logic papers, by W. V. Quine, Random House, New York, pp. 227–235. [REVIEW]Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (1):112.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-cc9fg uwo