00776nam0-22002891i-450-990001030820403321000103082FED01000103082(Aleph)000103082FED0100010308220000920d1970----km-y0itay50------baengNotes on constructive mathematicsby Per Martin-LofStockholmAlmqvist & Wiksell1970109 p.24 cmLogicaRicorsività160Martin-Löf,Per<1942- >346821ITUNINARICAUNIMARCBK9900010308204033217-1478071FI1FI1Notes on constructive mathematics339168UNINAING01