FORMAL SYSTEMS

FORMAL SYSTEMS

AF monodisc.
Course details
Academic year: 
2018/2019
Available in academic year: 
2019/2020
Type of course: 
Supplementary
Lesson type: 
Compulsory
Department/structure: 
Scientific-disciplinary sector: 
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02)
Course language: 
English
Credits: 
6
Course year: 
2
Teaching staff: 
Semester: 
First Semester
Hours of lectures: 
48
Hours of self study: 
90
Requirements: 

an institutional course of mathematical logic that includes the relevant aspects of first-order logic