Indrzejczak, A. “Discovery and Evolution of Natural Deduction”. The Philosophy of Science, vol. 22, no. 2, June 2014, pp. 5-19, https://fn.uw.edu.pl/index.php/fn/article/view/753.