Marciszewski, W. (1997). Formalizm syntaktyczny Jana Łukasiewicza jako model inteligentnego działania. Filozofia Nauki, 5(3), 89–100. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/188