Multiple-valued logic and computer science and the 20th century | IEEE Journals & Magazine | IEEE Xplore