Različite aksiomatike predikatskog računa : magistarski rad - Bjelajac, Ljubomir (Lj. Bjelajac, 1982)