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
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha