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