ตรรกะ...แห่งการพิสูจน์ = How to read and do proofs - โซโล, แดเนียล (ท้อป)