I'm a computer science major, computational biology in particular, that's looking to delve deeper into mathematics without actually double majoring. I've taken up to calculus 2, last topic covered was Taylor series. I've scoured numerous sources but to no avail. I've read that intro to logic and reasoning is helpful? Any book recommendations, I want to develop my mathematical maturity.