Problem solving.
Harling, Paul.
London Ward Lock Educational
1988
Logic, Symbolic and mathematical