SLOM - predavanja odr~zana ak. god. 1989/90.
- Relacija logi~cke posljedice
- Boolova operacija x+y
- Dokaz teorema rekurzije
- ~Sto su modalni operatori (FNT, Ljubljana)
- Zvonimir ~Siki~t
- Propozicije kao tipovi
- Gentzenov teorem o eliminaciji reza
- Linearna logika
- Dean Rosenzweig
- Teorem Tarskoga o nedefinabilnosti istine
i Gödelov prvi teorem
- Boris ~Culina
- Neaksiomatizabilnost logike drugog reda
- Löwenheimov broj logike drugog reda
- Oreyev teorem
- Reprezentabilnost u aritmetici drugog reda
- Definabilni kvantifikatori
- Mladen Vukovi~t
- Theory of Intensional Lambek Calculi
- Andreja Prijatelj (ETF, Ljubljana)