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)