Beyond Two: Theory and Applications of Multiple-Valued Logic - Fitting, Melvin; Orłowska, Ewa (Physica-Verlag HD, 2003)