Ж38067/2007/2554 | Katowice. Uniwersytet Śląski. Prace naukowe Uniwersytetu Śląskiego w Katowicach [Text] / red. Z. Żmigrodzki. - Katowice : WUS. - ISSN 0208-6336. 2007, N.2554 : Unification types in logic / W. Dzik. - Katowice : WUS, 2007. - 192 p. - Bibliogr.: p.180-186. - ISBN 978-83-226-1717-5 Rez.: pol., ger.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Żmigrodzki, Zbigniew \red.\; Katowice. Uniwersytet Śląski
| 2007 | | Nr. 2554
|