SLOM - predavanja odr~zana ak. god. 2000/01.
- Nepotpunost aritmetike i slo~zenost teorije zbrajanja
- Ante ~Derek
- O eliminaciji kvantifikator~a u aritmetici zbrajanja
- Mirko Mihaljinec
- O odlu~civosti i slo~zenosti Hornovih teorij~a
- Ru~zica Piska~c
- Pitagorina uga~danja
- Gödelovi teoremi, ekvivalentnost ~covjeka i stroja,
i evolucija
- Pravila djeljivosti
- Zvonimir ~Siki~t
- Bisimulacije
- Nepotpunost modalnih logik~a
- Mladen Vukovi~t