Unification types in logic

Dzik, Wojciech

Unification types in logic / Wojciech Dzik. -- 1. wyd. -- Katowice : Wydawnictwo Uniwersytetu Śląskiego, 2007. -- 192 s. : il. ; 24 cm. -- (Prace Naukowe Uniwersytetu Śląskiego w Katowiciach ; nr 2554). -- Bibliografia s. 180 - 186. Register