L. H. Hackstaff

• De libero arbitrio
• Systems of formal logic