TY  - GEN
AU  - Troelstra, A. S
TI  - Computability of terms and notions of realizability for intuitionistic analysis
PY  - 1971///
CY  - Amsterdam
PB  - University Amsterdam
N1  - Contine bibliografie
ER  -