01117nam a2200337 i 450099100074168970753620020507173009.0970709s1977 uk ||| | eng 019853163Xb10750976-39ule_instLE01301606ExLDip.to Matematicaeng511.3AMS 03B50AMS 03F55Troelstra, A. S.57222Choice sequences :a chapter of intuitionistic mathematics /by A. S. TroelstraOxford :Clarendon Press,1977ix, 170 p. ;25 cm.Oxford logic guidesIncludes index.Bibliography: p. [161]-167Intuitionistic mathematicsMany-valued logicSequences.b1075097623-02-1728-06-02991000741689707536LE013 03B TRO11 (1977)12013000088907le013-E0.00-l- 00000.i1084394228-06-02Choice Sequences335113UNISALENTOle01301-01-97ma -enguk 01