Lógica para Ciência da Computação Repositório da disciplina de Lógica para Ciência da Computação, oferecida na Universidade Federal de Goiás (UFG), Campus Jataí.