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