Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)