Indrzejczak, Andrzej. 2014. „Powstanie I Ewolucja rachunków Sekwentowych”. Filozofia Nauki 22 (4):53-70. https://www.fn.uw.edu.pl/index.php/fn/article/view/773.