About the course
According to one of the many definitions, logic is a study of proper reasoning. As a systematic discipline, it was founded by Aristotle in 4th century BC. This course is an opportunity to get to know its modern form, an outcome of the rapid and interesting development of formal logic at the end of the 19th and the beginning of the 20th century. We will discuss the propositional logic, the first-order logic, as well as the famous negative result on the incompleteness of the Peano Arithmetic, known as Gödel's Incompleteness Theorem.