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