@misc{Borowik_Piotr_Trisequential_1987,
 author={Borowik, Piotr},
 type={artykuł},
 publisher={Wydawnictwo Wyższej Szkoły Pedagogicznej w Częstochowie},
 title={Trisequential propositional calculus},
 address={Częstochowa},
 year={1987},
 language={eng},
 keywords={logika matematyczna},
}