@Book{Mun11,
    Author       = "Mundici, D.",
    Year         = "2011",
    Title        = "{Advanced Łukasiewicz calculus and MV-algebras}",
    Publisher    = "Springer",
    Comment      = "TPTPRef"
}