MAT0349 - Introdução à Lógica (2021)

Dar o conhecimento essencial do cálculo proposicional e de predicados de 1 ordem aos estudantes de licenciatura em matemática.