MV-Algebras and Quantum Computation. - Antonio Ledda; Martinvaldo Konig; Francesco Paoli; Roberto Giuntini (Stud Logica, 2006)