Choice sequences: a chapter of intuitionistic mathematics/
Troelstra, A. S.
Choice sequences: a chapter of intuitionistic mathematics/ by A. S. Troelstra. - Oxford: Clarendon Press, 1977. - ix, 170 p. ; 25 cm. - Oxford logic guides .
Includes index.
Bibliography: p. [161]-167.
019853163X : ª4.95
77366152 //r85
GB***
Intuitionistic mathematics.
Sequences (Mathematics)
511.3 / T843c
Choice sequences: a chapter of intuitionistic mathematics/ by A. S. Troelstra. - Oxford: Clarendon Press, 1977. - ix, 170 p. ; 25 cm. - Oxford logic guides .
Includes index.
Bibliography: p. [161]-167.
019853163X : ª4.95
77366152 //r85
GB***
Intuitionistic mathematics.
Sequences (Mathematics)
511.3 / T843c