This book looks at mathematical logic from the perspective of a mathematician rather than a logician. The authors explain the nature of mathematical reasoning and describe its applications to diverse branches of mathematics. They focus on relational structures rather than logical languages.