If you want to try, Goldfarb’s DEDUCTIVE LOGIC is very good. It gets you all the way to first order logic, which basically all undergrad math and the bulk of grad math is done in.