Many-valued logics and the logic of the C programming language | Publicación