A managerie of formal logical systems
Bending formal logic to your will
A deep dive into Argumentation Theory