Ancient Formal Logic
Notes on logic
The Jena System, 1804-05: Logic and Metaphysics
Temporal Logic
First-Order Logic
The Development of Logic
Logic in computer science. Solutions to selected exercises
Sheaves in Geometry and Logic
Basic Proof Theory
Rationality