I would say this is a great book if you have a bit of CS maturity. I would start with Logic For Computer Scientists by Uwe Schoening and follow up with Huth &

I would say this is a great book if you have a bit of CS maturity. I would start with Logic For Computer Scientists by Uwe Schoening and follow up with Huth & Ryan. This is the sequence used at Oxford and many German universities. Schoening's text is short and really friendly, but still rigorous.