Garbacz, Paweł. 2016. „Digitalizacja Filozofii Formalnej”. Filozofia Nauki 24 (4):27-47. https://www.fn.uw.edu.pl/index.php/fn/article/view/831.