Pereira, E., 		Goulart, T., & 		Andrade, J.
2023 Jul 26.  The use of programming in a subject of mathematical logic. Revista Terra & Cultura: Cadernos de Ensino e Pesquisa. [Online] 39:76