Title: Le&#347;niewski's Systems of Logic and Foundations of Mathematics
Subjects: Computational complexity, Computer science, mathematics, Proof theory