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. -- ISBN 978-83-226-1717-5 : 200,00 SK

1. logika - formálna logika
BB301