That's not to say there is no such thing as logic, just that you have it PERFECTLY incorporated right there in the/a real programming language. ABSTRACTING anything from that and trying to refer to the "universal logic of programming" in terms of some language that no one uses to program with seems misguided to me (that is, a heritage of Platonism, which infects many of our institutions at the highest level). Those real languages are the product of applied logic.* I'd also bet dollars to donuts that Anglo-American philosophy (which is very logic centric) has completely collapsed as a field since I was in university because all those new students would rather study programming in a post WWW world. Abstract pure logic is a dead horse of some sort. Probably a unicorn or Pegasus.
I'd rather see examples/description in any real language rather than pseudo code, to be honest. I've done the Java "hello world" afternoon because of that. Maybe when I find a real machine with paper tape sliding back and forth and "TURING" stamped on the side I'll change my mind.
I am not a platonist, so I don't really see the significance or value of contemplating an "ur-sprach", either wrt to human or artificial languages; to me it's better to focus on C/C++ or perl rather than on the possibility of this "one language to master - the programming logic". It's not a necessary concept at all, nothing is accomplished pursuing it, and reifying it probably even worse.