Begin your journey into mathematical logic with a clear, engaging narrative that blends intuitive explanations, playful puzzles, and concise proofs, guiding you from basic propositions to advanced inference rules in an accessible, step‑by‑step format.