Indrzejczak, Andrzej, and Marek Nowak. 2016. Metody Logiki: Dedukcja. Poland: Lodz University Press. https://doi.org/10.18778/8088-360-4.