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.