This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme giving the text a theoretical coherence whilst still covering a wide area of logic.