Im reviewing my discrete math because I want to take some theoretical comp sci courses next semester. The book Im using is called "A logical approach to discrete math". The book doesnt have a solutions manual but I really like it because I find it highly readable (compared to that terrible book by Grimaldi that my university used). Also I didnt do too well on proofs in my discrete math course, and I think learning how to work with logic will help me get better in that aspect. Im wondering, has anyone here had any experience with this book and would it be suitable to ask for help on these forums if I get stuck on a question?