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