000 | 00491pam a2200169a 44500 | ||
---|---|---|---|
008 | 160408b1977 xxu||||| |||| 00| 0 eng d | ||
082 |
_a515.242 _bT743c |
||
100 | _aTroelstra, A. S. | ||
245 | 1 |
_aCHOICE SEQUENCES _cA CHAPTER OF INTUITIONISTIC MATHEMATICS |
|
260 |
_aOxford _bClarendon Press _c1977 |
||
300 | _aix,170 | ||
500 | _aBibliography : P. 161-167 | ||
650 | _aSequences (Mathematics) | ||
650 | _aIntuitionistic Mathematics | ||
964 | _gCIRC | ||
997 | _aA55504 C | ||
999 |
_c292912 _d292912 |