To acquire a good knowledge of first order logic and its fundamental theorems.
Fruizione: 20410451 LM410 -TEOREMI SULLA LOGICA 1 in Matematica LM-40 (docente da definire)
Fruizione: 20410451 LM410 -TEOREMI SULLA LOGICA 1 in Matematica LM-40 (docente da definire)