Leram - A Teoria correspondentista da Verdade: apresentação e crítica lógico-semântica