005.131 / W833c
Wolfram, D. A.
The clausal theory of types
/
.- Cambridge: Cambridge University Press, 1993
.- viii, 124p.
.- ( Cambridge Tracts In Theoretical Computer Science Series
ISBN: 0521395380
Subject Headings:
Logic, Symbolic and mathematical;
Programming languages (Electronic Computers);
Copy Details:
Acc. No.: A115959, Full Call No.: 005.131 W833c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------