Wolfram, D. A.
The clausal theory of types / D. A. Wolfram. - Cambridge, UK : Cambridge University Press , cop. 1993 . - VIII, 124 p. : il. ; 26 cm. - (Cambridge tracts in teoretical computer science) ; 21
ISBN 0-521-39538-0
Programação em lógica
LCC QA76.63
The clausal theory of types / D. A. Wolfram. - Cambridge, UK : Cambridge University Press , cop. 1993 . - VIII, 124 p. : il. ; 26 cm. - (Cambridge tracts in teoretical computer science) ; 21
ISBN 0-521-39538-0
Programação em lógica
LCC QA76.63