D. Michael Miller

Multiple-Valued Logic