Describes the mathematical and logical foundations at a level which does not presume advanced mat...