Ehh. Not the best written book. Some of the proofs could have been better formatted so that it was easier to read and understand. The sentences are long winded and aren't direct enough. Or maybe I'm just very bad at comprehending logic. Hm.

The turing machine chapters are decent. The FOL chapters could have done with some rework. Some of the proofs were blocks of text, and within them they would reference certain stages of the proof, but it wasn't specified which ones, therefore the reader had to guess what part A B C was and where it's subproof started.