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