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