Denna bok behandlar bl.a. det matematiska språket logik, mängdlära och funktioner, grundläggande talteori och kombinatorik samt induktion. Vidare behandlas algebraiska ekvationer och linjära ekvationssystem. I boken finns många genomräknade exempel och enklare testövningar som är placerade i anslutning till att ny teori har presenterats. Övningsbok kan beställas separat. (Studentlitteratur)