Troelstra, A. S <br/><br/>
Computability of terms and notions of realizability for intuitionistic analysis 
A. S. Troelstra 
 - Amsterdam  University Amsterdam  1971 
 - 60 p  28 cm 
<br/><br/> Contine bibliografie