Decidable Theories


Lectures in spring term 2023/24

#1 (20 Feb 2024)

#2 (27 Feb 2024)

#3 (5 Mar 2024)

#4 (12 Mar 2024)

#5 (19 Mar 2024)

#6 (2 Apr 2024)

#7 (9 Apr 2024)

#8 (16 Apr 2024)

#9 (23 Apr 2024)

#10 (30 Apr 2024)

#11 (7 May 2024)

#12 (21 May 2024)


Back to the main site