Title: A Treatise on Many-Valued Logics (Studies in Logic and Computation)
First published: January 26, 2001