The 1983 International Symposium on Multiple-Valued Logic | IEEE Journals & Magazine | IEEE Xplore