En bok skrevet for praktiserende programmerere, uten krav til matematisk bakgrunn, om hvordan litt logikk kan hjelpe med å designe, verifisere og resonnere bedre om programvare.

Kilde: https://logicforprogrammers.com/