Hacker News new | ask | show | jobs
by abjKT26nO8 2193 days ago
You're welcome.

My understanding of the subject is based on a course in mathematical logic which I took at a university. According to the lecturer, there are no good books on the subject. There was one book they referenced, but it was fat and unapproachable. So, unfortunately, I can't really give any recommendations.