Marciszewski, W. „Formalizm Syntaktyczny Jana Łukasiewicza Jako Model Inteligentnego działania”. Filozofia Nauki, t. 5, nr 3, wrzesień 1997, s. 89-100, https://www.fn.uw.edu.pl/index.php/fn/article/view/188.