Book

Modern Uses of Multiple-Valued Logic

by M. Dunn, G. Epstein