Lesniewskis Systems Protothetic

In the period between the two World Wars, Stanislaw Lesniewski, the Polish logician, created his system of the foundations of mathematics, a system comprising three deductive theories protothetic, ontology, and mereology. This volume is a collection