Lógica de primeira ordem

• Sintaxe da lógica de primeira ordem
• Formalismos dedutivos
• Semântica formal para a lógica de primeira ordem

Links externos

• Lógica de primeira ordem