Wolfram, D. A. <br/><br/>
The clausal theory of types / 
D. A. Wolfram 
 - Cambridge :  Cambridge University Press,  1993 
 - viii, 124 p. ;  25 cm. 
 - Cambridge tracts in theoretical computer science ;  21 .
 - Cambridge tracts in theoretical computer science ;  21 .
<br/><br/>Includes bibliographical references (p. 107-120) and index 
<br/><br/><label>ISBN: </label>9780521117906 (pbk.)  RM81.08 9780521395380 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming