Elementy logiki i teorii mnogości dla informatyków - Huzar, Zbigniew (Oficyna Wydawnicza Politechniki Wrocławskiej, 2007)
Keywords: logika; teoria mnogości; informatyka; teoria programowania komputerów