Resumo de lógica dada na licenciatura
Propositional Logic & SAT Solvers
First-Order Logic
First-Order Theories & SMT Solvers
Formalizing Domain Models in FOL