Huzar, Zbigniew. Elementy logiki i teorii mnogości dla informatyków / Zbigniew Huzar. - Wrocław : Oficyna Wydaw. Politechniki Wrocławskiej, 2007. - 336 s. : il. ; 24 cm. bibliogr. ISBN: 8374933490 Uniwersalna Klasyfikacja Dziesiętna: 510.22+510.6](075.8)