Full Title
9 - Tema 4 (Primera parte) (22/23)
Description
En esta sesión de tutoría se presenta el método de deducción natural como un nuevo método de convalidación de argumentos. Además, se introducen 5 de las 8 reglas básicas.
License Rights
Academic Information
Room
Attached Resources
icono
reviewStatus
Los metadatos del recurso podrían cambiar ya que no han sido validados.
Resource Card
Model
Publication Repository
Language Repo
Update Date
Creation Date
Accessibility
accessModeSufficient