1. Belnap, N.D.: Tonk, plonk and plink. Analysis 22(6), 130–134 (1963)
2. Beal, J.: Spandrels of Truth. Oxford University Press, Oxford (2008)
3. Lecture Notes in Computer Science;T Coquand,1994
4. Dummett, M.: Frege: Philosophy of Language. Duckworth, London (1973)
5. Dummett, M.: The Logical Basis of Metaphysics (The William James Lectures, 1976). Harvard University Press, Cambridge (1993)