| 000 | 00396 a2200133 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c28364 _d28364 |
||
| 100 | _aTroelstra, A. S | ||
| 245 |
_aComputability of terms and notions of realizability for intuitionistic analysis _cA. S. Troelstra |
||
| 260 |
_aAmsterdam _bUniversity Amsterdam _c1971 |
||
| 300 |
_a60 p _c28 cm |
||
| 500 | _aContine bibliografie | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c28069 _d28069 |
||