Stuchliński, J. (2000). Systemy dedukcyjne Leśniewskiego - podstawy filozofii i matematyki. Filozofia Nauki, 8(3-4), 69–108. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/263