This looks great. Most logic books are written by and aimed at mathematicians or philosophers, with basically zero involvement of practical programming applicat

This looks great. Most logic books are written by and aimed at mathematicians or philosophers, with basically zero involvement of practical programming applications, while the author here has a software engineering background and it shows.