SLOM - predavanja odr~zana ak. god. 1993/94.
- Korektnost pekarskog algoritma
- Dean Rosenzweig
- Induktivne definicije kona~cnog skupa i ordinala.
- Neke varijante aksioma neutemeljenosti
- Boris ~Culina
- Oslabljena adjunkcija
- Svitan Gaborovi~c
- Strukture za opisivanje vremena
- Igor Urbiha
- Kripkeova semantika za sistem s-L
- Lindströmovi teoremi
- Fraisséov teorem
- Mladen Vukovi~t