Wolfram, D. A., <br/><br/>
The clausal theory of types / 
D. a. wolfram 
 - 124 páginas 
<br/><br/><label>ISBN: </label>0521395380 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación (Matemáticas)
<br/><br/><label>LC Class. No.: </label>QA402.5  / W65