David Meredith (meredith-d)

Contributions à Philosophie.ch

Bibliography

Lemmon, Edward John, Meredith, Carew Arthur, Meredith, David, Prior, Arthur Norman and Thomas, Ivo. 1969. “Calculi of Pure Implication.” in Philosophical Logic, edited by John W. Davis, D. T. Hockney, and W. Kent Wilson, pp. 215–250. Synthese Library n. 20. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-9614-0.
Meredith, David. 1980. “A Positive Logic Proof Procedure.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 503–510. New York: Academic Press.