TY - BOOK AU - Rine D C TI - Computer science and multiple-valued logic : theory and applications SN - 0-444-86882-8 U1 - 511.3 PY - 1977/// CY - Amsterdam PB - North-Holland KW - Many-valued logic KW - Mathematical logic KW - Switching theory ER -