SMS dit: Principles of mathematical logic /