TY  - BOOK
AU  - Troelstra, A. S.
TI  - CHOICE SEQUENCES
U1  - 515.242 
PY  - 1977///
CY  - Oxford
PB  - Clarendon Press
KW  - Sequences (Mathematics)
KW  - Intuitionistic Mathematics
N1  - Bibliography : P. 161-167
ER  -