Mathematical Logic

ID : 
ΕΛ
Semester : 
5
Track: 
Free Electives

Department of Mathematics

15101178 Mathematical Logic  (5ο semester) 7 ECTS

Instructor: Kyrousis

Propositional Calculus, First-Order Languages, Completeness Theorem and Compactness of First-Order Languages, Lowenheim-Skolem Theorems, Elements of Model Theory.

 

Textbook [12405096]: Mathematical Logic, TOURLAKIS GEORGE Details

Textbook [32998373]: A Mathematical Introduction to Logic, ENDERTON HERBERT Details