Dzik, Wojciech. <br/><br/>
Unification types in logic / 
Wojciech Dzik. 
 - Katowice :  Wydawnictwo Uniwersytetu Śląskiego,  2007. 
 - 192 s. :  il., err. ;  24 cm. 
 - Prace Naukowe Uniwersytetu Śląskiego w Katowicach,  nr 2554  0208-6336 ; .
 - Prace Naukowe Uniwersytetu Śląskiego w Katowicach  nr 2554 .
<br/><br/>Bibliogr. s. 180-186. Indeksy. 
<br/><br/><br/>Streszcz. pol., niem. 
<br/><br/><label>ISBN: </label>9788322617175 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Unifikacja (logika).
<br/><br/><label>Universal Decimal Class. No.: </label>161/164