A Treatise on Many-Valued Logics (2001)

by Siegfried Gottwald
Venue:Studies in Logic and Computation