Modern Uses of Multiple-Valued Logic door Dunn, M.