@misc{Borowik_Piotr_Operacja_1997,
 author={Borowik, Piotr},
 type={artykuł},
 publisher={Wydawnictwo Wyższej Szkoły Pedagogicznej w Częstochowie},
 title={Operacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza},
 address={Częstochowa},
 year={1997},
 language={pol},
 keywords={materiały konferencyjne, trójsekwentowy rachunek predykatów Łukasiewicza},
}