I think you'll really enjoy Symbolic Logic. I was introduced to it my last year by a philosophy class and it was very interesting. I think you'll appreciate the simplicity and beauty of the arguments.