1. Belnapv, N.D. (1962). Tonk, plonk and plink. Analysis, 22(6), 130.
2. Barwise, J, & Feferman, S. (Eds.). (1985). Model-theoretic logics. Perspectives in mathematical logic. New York: Springer.
3. Cardone, F., & Hindley, J.R. (2009). Lambda-calculus and combinators in the 20th century. In Gabbay, D.M., & Woods, J. (Eds.) Logic from Russell to church, volume 5 of Handbook of the History of Logic. New York: Elsevier.
4. Dummett, M. (1973). Frege: philosophy of language. London: Duckworth. OCLC: 845425340.
5. Dummett, M. (1994). The logical basis of metaphysics. Number 1976 in The William James Lectures. Cambridge: Harvard University Press. Mass, 3. print edition. OCLC: 176860499.