Teaching - Università Roma Tre

LM420 - THEOREMS IN LOGIC 2 (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	20410190
Language	ITA
Type of certificate	Profit certificate
Credits	7
Scientific Disciplinary Sector Code	MAT/01
Contact Hours	60
Type of Activity	Related or supplementary learning activities