FLF0259 - Lógica II (2020)

O curso destina-se promover a apreensão dos conceitos e das técnicas fundamentais do Cálculo dos Predicados de 1a ordem.