E seu contribuçioin in sciâ lògica s’attreuvan ancon into carcolo propoxiçionale contemporaneo.