Unification types in logic
Wojciech Dzik.
Katowice : Wydawnictwo Uniwersytetu Slaskiego, 2007.
192 págs. : ilustraciones ; 24 cm.
Serie: Prace naukowe Uniwersytetu Slaskiego w Katowicach, ISSN 0208-6336 ; nr 2554
ISBN: 9788322617175 (pbk.), 8322617178
Errata insertada.
Summary in Polish and German.
Incluye referencias bibliográficas (p. 180-186) e índice.
Reseña: MathSciNet, 2009i:03002