SLOM - predavanja odr~zana ak. god. 1991/92.
- Aksiomi za Vw
- Boris ~Culina
- Parcijalna kombinatorna logika i teorija skupova
- Svitan Gaborovi~c
- Neutemeljeni skupovi
- Petar Gregorek
- Zvonimir ~Siki~t
- Ima li klasi~cna logika teoriju dokaza?
- Algoritamski problemi i ~sifriranje
- Dean Rosenzweig
- Tretmani o paradoksu la~sca
- O raznim implikacijama
- Zvonimir ~Siki~t
- Impredikativna teorija tipova
- Mladen Vedri~s
- Novi dokaz teorema o fiksnoj to~cki za PRL
- Bethov teorem za PRL
- Mladen Vukovi~t
- Toward a relativistic logic
- D. Cohen (Smith College, Northampton, Massachusetts)