Author: Ontario 1973 International Symposium on Multiple-Valued Logic 3d Toronto