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