Mundici, Daniele
Advanced Lukasiewicz calculus and MV-algebras
Dordrecht : Springer, 2011. xviii, 256 p. -- (Trends in logic ; v. 35
QA10 M85