Den nyeste utgaven av denne boken inkluderer tilleggskapitler om utsagn og bevis, en logisk rammeverk samt naturlige tall og heltall. De oppdaterte kapitlene inneholder over 1000 tilpassede oppgaver, og en tilhørende nettside tilbyr hint og løsninger til alle oppgavene. Teksten er spesifikt utformet for matematikere og datavitere som ønsker en første tilnærming til dette viktige emnet.
