수학도 있군요. "Proofs and Refutations: The Logic of Mathematical"