Carga Horária Teórica: 60 Horas.
Carga Horária Prática: 0 Horas.

Número de Créditos: 4.

Nível: Doutorado/Mestrado

Ementa: Noções sobre lógica em geral. Lógica clássica de primeira ordem. Consistência e completude. Noções semânticas. Noções sobre lógicas não-clássicas.

Bibliografia Básica:

- Introduction to mathematical logic, Mendelson, E., Wadsworth & Brooks, 1997.
- Logique classique et non classique, da Costa, N. C. A., Paris, Masson, 1997.