Swijtink, Z. G. (1996). [Entries] 'Beth's definition theorem'; 'Craig's interpolation theorem'. In M., Detlefsen (Ed.), Routledge encyclopedia of philosophy. London: Routledge.