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