Obtain a good understanding of the principles of the classical logic of the first order and the computation of the sequents as well as of the main results that concern it.
Code
20410043
Language
ITA
Type of certificate
Profit certificate
Credits
7
Scientific Disciplinary Sector Code
MAT/01
Contact Hours
60
Type of Activity
Core compulsory activities
Derived from
20710016 THEOREMS IN LOGIC 1 in Philosophy L-5 TORTORA DE FALCO LORENZO