The clausal theory of types - Wolfram, D.A (Cambridge, United Kingdom Cambridge University Press, 1993)
Keywords: Lógica matemática; Programación de ordenadores