MATA37 - Introdução à Lógica de Programação Professor: Cassio Vinicius Serafim Prazeres Semestre: 2019.1