logic techniques of formal reasoning logic techniques logic techniques of formal reasoning pdf logic techniques of formal reasoning 2nd edition logic techniques mathematics logic techniques of formal logical techniques in writing logical techniques definition techniques logic programming sudoku logic techniques