Logic in Computer Science | Revista