Lectures on the Logic of Computer Programming