The clausal theory of types / - Wolfram, D. A. (Cambridge University Press,, 1993)