Thank you for the book suggestions. I actually already found the Hammack and Chen books, but the other seems interesting as well.
I thought about taking a proofs class, but the universities around be don’t seem to offer them at reasonable times; my guess is that they are exclusive to math majors, so all the classes are at like 10 AM.