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