- Tytuł pełny:
- Unification types in logic / Wojciech Dzik
- Wydawca:
- Katowice : Wydawnictwo Uniwersytetu Śląskiego
- Rok wydania:
- 2007
- Seria:
- Prace Naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr 2554
- Temat:
- Unifikacja (logika).
Logika matematyczna nieklasyczna.
Książka