Advanced Łukasiewicz calculus and MV-algebras - Mundici, D. (Springer Netherlands, 2011)