Različite aksiomatike predikatskog računa : magistarski rad - Bjelajac, Ljubomir (Lj. Bjelajac, 1982)
Na vrhu nasl. str.: Sveučilište u Zagrebu, Centar za postdiplomski studij Dubrovnik.