SLOM - predavanja odr~zana ak. god. 1990/91.
- Dinami~cke algebre i Prolog
- Dinami~cke algebre i rezolucija
- Formalna analiza operacij~a
assert i retract u Prologu
- Dean Rosenzweig
- Prirodna interpretacija impredikativnih polimorfnih tipova
- Mladen Vedri~s
- Separabilnost lambda-term~a
- Svitan Gaborovi~c
- Russelova teorija tipova
- Zvonimir ~Siki~t
- Teorija skupova drugog reda
- Logika interpretabilnosti
- Mladen Vukovi~t
Susret matemati~car~a Zagreba i Graza (VII.
Mathematik-ertreffen Zagreb-Graz)
- On predicative tautologies
- Vladimir Kirin
- A new characterization of natural numbers
- Zvonimir ~Siki~t