Set Size and the Part-Whole Principle
Measuring the Size of Infinite Collections of Natural Numbers
Georg cantor and the battle for transfinite set by joseph w dauben
Systems of Set Theory
Nonclassical Logic
Normal Form (Natural Deduction)