Lógica de primeira ordem
Jump to navigation
Jump to search
- Sintaxe da lógica de primeira ordem
- Formalismos dedutivos
- Semântica formal para a lógica de primeira ordem
