Formel logik - Read, Stephen (Aarhus Universitetsforlag, 2006)