By higher level, I mean big picture. Not necessarily introductory, but ones that don't employ logical concepts such as "proof", "formal" etc, because you cannot define a field of study using concepts from that field. This example is good, but not sure what are you trying to say by posting it (I didn't say that noone ever wrote anything on what logic is.)