00733nam0-22002651i-450-990001182610403321000118261FED01000118261(Aleph)000118261FED0100011826120000920d1970----km-y0itay50------baengNotes on constructive mathematicsby MART IN-LOF PER.StockholmAlmqvist & Wiksell1970Logica matematicaMartin-Löf,Per<1942- >346821ITUNINARICAUNIMARCBK9900011826104033217-F-614188MA1MA103FXXNotes on constructive mathematics339168UNINAING01