Lógica Informal e formal nos seus aspectos computacionais.