Indrzejczak, A. and Nowak, M. 2016. Metody logiki: Dedukcja. Lodz University Press.