TY  - BOOK
AU  - Dzik,Wojciech
ED  - Uniwersytet Śląski (Katowice).
TI  - Unification types in logic
T2  - Prace Naukowe Uniwersytetu Śląskiego w Katowicach,
SN  - 9788322617175
PY  - 2007///
CY  - Katowice
PB  - Wydawnictwo Uniwersytetu Śląskiego
KW  - Unifikacja (logika)
KW  - kaba
N1  - Bibliogr. s. 180-186. Indeksy
ER  -