Deduction - Johnson Laird, Philip Nicholas 1936- (Lawrence Erlbaum Associates, 1991)