Books listed by ISBN
Wojciech Dzik
Wojciech Dajczak
title
ISBN-13
(ISBN-10)
year of publication
Unification Types in Logic
978-83-226-1717-5
(83-226-1717-8)
2007
Wojciechowska Dorota