Text this: Advanced Łukasiewicz calculus and MV-algebras