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 -