Proof : The Art and Science of Certainty by Adam Kucharski (2025, Hardcover) This textbook covers both theory and hands-on exercises in equal measure.