Riemann average truth-value of Łukasiewicz formulas Vincenzo Marra, Daniele Mundici (2006) Mathematica Slovaca