A. Indrzejczak and M. Nowak, Metody logiki: Dedukcja. Poland: Lodz University Press, 2016. doi: 10.18778/8088-360-4.