Lógicas e Semântica de Programas Artigo Lógicas e Semântica de ProgramasVISÃO INTRODUTÓRIA SOBRE OS CONCEITOS DE CÓDIGO LIMPO Autor(es): Carlos Roberto Mayer, Ademir Mazer Junior