1971 - magisterium O równoważności Twierdzenia Godel-Malcewa o pełności i Twierdzenia o Ideale Maksymalnym Uniwersytet Śląski, Katowice. Promotor: Prof. dr hab WItold Pogorzelski.
2008 - Habilitacja, Unification types in Logic. Uniwersytet Warszawski, Warszawa