TY - BOOK TI - Modern uses of multiple-valued logic: invited papers from the fifth International symposium on multiple-valued logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 SN - 9027707472 U1 - 511.3 PY - 1977/// CY - Dordrecht, Holland PB - D. Reidel Pub. KW - Many-valued logic N1 - Includes indexes ER -