Models of Deduction - Johnson-Laird, P. N; Joffe- Falmagne, R (Hillsdale/N. J., 1975)
(Edit.): Reasoning: Representation and Process