00850nam0-22003131i-450-9900010716004033210-19-853163-X000107160FED01000107160(Aleph)000107160FED0100010716020000920d1977----km-y0itay50------baengChoice SequencesA chapter of Intuitionistic Mathematicsby A.S. TroelstraOxfordOxford University Press1977ix, 170 p.24 cmOxford Logic GuidesLogicaRicorsività160Troelstra,Anne Sjerp57222ITUNINARICAUNIMARCBK9900010716004033217-19510481FI1FI1Choice Sequences335113UNINAING01