The clausal theory of types / D. A. Wolfram
Series: Cambridge tracts in theoretical computer science ; 21Publication details: Cambridge : Cambridge University Press, 1993Description: viii, 124 p. ; 25 cmISBN:- 9780521117906 (pbk.)
- 9780521395380 (hbk.)
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.63.W658 (Browse shelf(Opens below)) | 1 | Available | 00002018848 |
Includes bibliographical references (p. 107-120) and index
There are no comments on this title.
Log in to your account to post a comment.
