@misc{Huzar_Zbigniew_Elementy_2002,
 author={Huzar, Zbigniew},
 year={2002},
 rights={Wszystkie prawa zastrzeżone (Copyright)},
 publisher={Oficyna Wydawnicza Politechniki Wrocławskiej},
 language={pol},
 title={Elementy logiki dla informatyków},
 type={książka},
 keywords={teoria mnogości, rachunek zdań, rachunek kwantyfikatorów, system dowodzenia twierdzeń, języki formalne, zasada rezolucji},
}