Wolfram, D A.
Clausal Theory of Types - Cambridge Cambridge University Press 1993 - 124p - Cambridge Tracts in Theoretical Computer Science, 21 .
0 521 39538 0
Computer - Logic Programming
681.2.06 WOL
Clausal Theory of Types - Cambridge Cambridge University Press 1993 - 124p - Cambridge Tracts in Theoretical Computer Science, 21 .
0 521 39538 0
Computer - Logic Programming
681.2.06 WOL