A. Indrzejczak i M. Nowak, Metody logiki: Dedukcja. Poland: Wydawnictwo Uniwersytetu Łódzkiego, 2016. doi: 10.18778/8088-360-4.