REIN , TIL Lärobok i den formelia logiken.