Stenlund, Sören. <br/><br/>
Combinators, [lambda]-terms and proof theory / 
 Combinators, L-terms and proof theory 
Sören Stenlund. 
 - Dordrecht :  D. Reidel Publishing Company,  cop. 1972. 
 - 184 s. ;  23 cm. 
 - Synthese Library .
 - Synthese Library .
<br/><br/>Bibliogr. s. 177-180. Indeks. 
<br/><br/><label>ISBN: </label>9027703051 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoria dowodu.<br/>Logika kombinatoryczna.