Textbook in PDF format
Notation
Propositional Logic
First-Order Logic
Complete Logical Calculi
Foundations of Logic Programming
Elements of Model Theory
Incompleteness and Undecidability
On the Theory of Self-Reference
Index of Terms and Names
Index of Symbols