Rationality
Ancient Formal Logic
Basic Proof Theory
First-Order Logic
Notes on logic
Parts of Classes
Logic in computer science. Solutions to selected exercises
The Development of Logic
The Jena System, 1804-05: Logic and Metaphysics
Temporal Logic
Sheaves in Geometry and Logic
Modal logic
Studies in Logic and the Foundations of Mathematics. Volume 145
Provability, Complexity, Grammars
Logic: Techniques of Formal Reasoning
Beginning Model Theory: The Completeness Theorem and Some Consequences
