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