3 ms·
Logic in Computer Science by Huth and Ryan.
by bjourne 4y ago
Logic in Computer Science by Huth and Ryan.
- greymalik 4y agoThe reviews on that one seem to consistently say it’s not a great first book and is a bit much for an undergraduate. Mathematically I’m effectively at the high school to undergraduate level at best.
- nextos 4y agoI 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.