The logical formulae are outside my learning, at this point in my life, but I do understand the general gist of the theorems from prior exposure and discussion.

The logical formulae are outside my learning, at this point in my life, but I do understand the general gist of the theorems from prior exposure and discussion. If this were my first exposure, the overly florid, 'artsy' presentation would have sent me packing before the end of the first section, thinking "Oh, great, now I'm going to have to unpack his prose before I can even follow the discussion".