Merkliste 
 1 Ergebnisse 
 
1

Formalized recursive functionals and formalized realizabili.. 

Memoirs of the American Mathematical Society ; 89
Exemplar:  Zentrale:E02 a mat 022/709