Author: Japan) International Symposium on Multiple-Valued Logic (13th 1983 Kyoto