The clausal theory of types / D.A. Wolfram
1993, First Edition. Cambridge : Cambridge University Press. Near fine copy in the original colour-printed boards. Slightest suggestion only of dust-dulling to the spine bands and panel edges. Remains particularly well-preserved overall; tight, bright, clean and strong. Item #433382
ISBN: 0521395380
Physical description; viii, 124 pages. Notes; Includes bibliographical references (p. 107-120) and index. Subjects; Logic programming. Type theory.
Price: €30.00
See all items by D. A. Wolfram, author