Witold Marciszewski, Formalizm syntaktyczny Jana Łukasiewicza jako model inteligentnego działania, Filozofia Nauki, 1997, 5, 3, s. 89-100