00805nam0-22003011i-450-9900010949004033210-19-853163-X000109490FED01000109490(Aleph)000109490FED0100010949020000920d1977----km-y0itay50------baengChoice SequencesA chapter of Intuitionistic Mathematicsby A.S. ToelstraOxfordClarendon Press1977ix, 170 p.24 cmLogicaRicorsività160Troelstra,Anne Sjerp57222ITUNINARICAUNIMARCBK9900010949004033217-28716753FI1FI1Choice Sequences335113UNINAING01