Master's Programme in Mathematics and Statistics is responsible for the course.
The course belongs to the Mathematics and Applied mathematics module.
The course is available to students from other degree programmes.
Bachelor and Master's Studies
History of logic from Frege to Tarski
Recommended time/stage of studies for completion: 1. or 2. year
Term/teaching period when the course will be offered: varying
First and second order logic, completeness and incompleteness theorem
Texts and papers
Exam and excercises, or presentation, Course will be graded with grades 1-5
Exam, other methods will be described later