Author: International Symposium on Multiple-Valued Logic (1975 Bloomington)