Wow! Reading the table of contents, this seems like a pretty complete book. Most introductions to logic neglect the entire area of intuitionistic logic and proof theory so it's nice to see one that covers that along with the usual infinitarian stuff (FOL, model theory, computability, etc.)