SLOM - predavanja odr~zana ak. god. 1992/93.
- Neutemeljeni skupovi
- Boris ~Culina
- Parcijalne kombinatorne algebre
- Svitan Gaborovi~c
- Logika dinami~ckih algebri
- Paola Glavan
- Univerzalni Turingov stroj
- Kemijski apstraktni stroj
- Dean Rosenzweig
- Modeli lambda-ra~cuna
- Igor Urbiha
- Neki otvoreni problemi logike dokazivosti
i logike interpretabilnosti
- Mladen Vukovi~t