Bethke, Ingemarie <br/><br/>
How to construct extensional combinatory algebras 
Ingemarie Bethke 
 - Amsterdam  University Amsterdam  1985 
 - 28 p  29 cm