LM420 - COMPLEMENTI DI LOGICA CLASSICA
(objectives)
To support the students into an in-depth analysis of the main results of first order classical logic and to study some of their remarkable consequences
Code
20410032
Language
ITA
Type of certificate
Profit certificate
Credits
7
Scientific Disciplinary Sector Code
MAT/01
Contact Hours
60
Type of Activity
Elective activities
Derived from
20710122 THEOREMS IN LOGIC, 2 in Philosophical Sciences LM-78 TORTORA DE FALCO LORENZO