Advanced Łukasiewicz calculus and MV-algebras - Mundici, D.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2011)
Keywords: Mathematics; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations