Applied Logic Series | Revista