Indrzejczak, A. „Powstanie I Ewolucja rachunków Sekwentowych”. Filozofia Nauki, t. 22, nr 4, grudzień 2014, s. 53-70, https://www.fn.uw.edu.pl/index.php/fn/article/view/773.