An Introduction to the Logic of the Computing Sciences by Richard F. Von Dohlen