SLOM - predavanja odr~zana ak. god. 1994/95.
- Rekurzivni modeli otvorene indukcije s prim-elementima
- Darko Biljakovi~t
- Neutemeljeni skupovi
- Boris ~Culina
- Semantika sistema F i linearna logika
- Paola Glavan
- Metoda logi~ckih jedna~gb~i za automatizirano nala~zenje teorem~a
- Kazimir Majorinc
- Linearna logika
- Dean Rosenzweig
- Kripkeove semantike za logike interpretabilnosti
- Mladen Vukovi~t