Formalismos dedutivos
Jump to navigation
Jump to search
- Estilos: axiomático, dedução natural, cálculo de sequentes, etc
[VIDEO]