Mathematical Logic I

Description

Propositional and predicate calculus - Soundness and Completeness theorems.

Course Coordinators

Books: 
Στοιχεία Μαθηματικής Λογικής του Α. Τζουβάρα.
Semester: 
Units: 
3
Credit Units (ECTS): 
5.5
Hours: 
3ώρες
ID: 
0133
Course Type: 
X