01302nam0-2200385li-450 99000025796020331620180312154833.00025796USA010025796(ALEPH)000025796USA0100257962001994071983-------y0itay0103----baitaITLezioni sull'intuizionismoCambridge 1946-51Luitzen E. J. Brouwera cura di Dirk van Dalen[traduzione di Sergio Bernini]TorinoBoringhiericopyr. 1983112 p.ill.22 cmTrad. di: Brouwer's cambridge lectures on intuitionismlogica matematica511.3Logica simbolica (Logica matematica)BROUWER,Luitzen E. J.614848DALEN,Dirk vanSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000257960203316511.3 BRO16012/CBS511.300216387BKSCI1994072120001110USA01171520020403USA011634PATRY9020040406USA011618RSIAV69020090417USA011506RSIAV69020090417USA011508Lezioni sull'intuizionismo1502449UNISA