Choice sequences. A chapter of intuitionistic mathematics. (English) Zbl 0355.02026
Oxford Logic Guides. Oxford: Clarendon Press. IX, 170 p. £4.95 (1977).
MSC:
03F55 | Intuitionistic mathematics |
03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |