Text this: Computer science and multiple-valued logic :