I was reading my daily reddit and came accross this link to a new double major at Oxford, Computer Science and Philosophy.
http://www.comlab.ox.ac.uk/admissions/ugrad/Computer_Science_and_Philosophy
I just wish my university had a double major like this, i would have taken it as an undergrad for sure (I am now doing graduate research in CS). Anyways, i wanted to ask what books are good for beginning and intermediate levels in Logic. I know theres like Deductive Logic, Set Theory, but the actual books i don't know any.