More mathematical logic (PDF)