This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every …