Unification types in logic

DZIK, Wojciech. Unification types in logic. 1. wyd. Katowice : Wydawnictwo Uniwersytetu Śląskiego, 2007. 192 s. Prace Naukowe Uniwersytetu Śląskiego w Katowiciach, nr 2554. ISBN 978-83-226-1717-5.