What type of math is logic?

I'm for more information on logical math. My teacher said it was some kind of algebra but I forgot. It's the type were p-->q and ~q therefore ~p by law of contrapositive inference.