Searching for the roots of non-contradiction and excluded-middle | Publicación