17 Fevereiro 2011, 11:00 • MANUEL CIDRAES CASTRO GUERRA
Expressões proposicionais, variaveis e quantificadores
14 Fevereiro 2011, 11:30 • MANUEL CIDRAES CASTRO GUERRA
Apresentação
Introdução à lógica matemática