Computer science and multiple-valued logic theory and applications - Rine, David C. (rz1, 1977)