Welcome back to the second ¡­

Welcome back to the second half of the course! We hope you all have had a relaxing Easter Holiday! Some announcements:

The teaching plan has been updated. We will procede with completeness of first-order logic and automated reasoning.

The article "Systems of Deduction" by G?ran Sundholm will be lectured as the last topic of this course. The article is in English and is contained in the compendium "Kopisamling INF3170/4170 Logikk og analysemetoder", which can be bought at Kopiutsalget, Akademika campus bookshop. The article is part of the syllabus of this course.