00941nam0-22003611i-450-99000102278040332120090707191539.03-540-08132-1000102278FED01000102278(Aleph)000102278FED0100010227820090707d1977----km-y0itay50------baengDEy-------001yyComputations in higher typesJohan MoldestadBerlinSpringer Verlag1977203 p.24 cmLecture notes in mathematics574LogicaRicorsività160Moldestad,Johan48583ITUNINARICAUNIMARCBK9900010227804033217-19610476FI1C-20-(57418854MA1FI1MA1Computations in higher types80729UNINA