515.242 / T743c
Troelstra, A. S.
CHOICE SEQUENCES
/ A CHAPTER OF INTUITIONISTIC MATHEMATICS
.- Oxford: Clarendon Press, 1977
.- ix,170 .
Bibliography : P. 161-167
Subject Headings:
Sequences (Mathematics);
Intuitionistic Mathematics;
Copy Details:
Acc. No.: A55504, Full Call No.: 515.242 T743c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------