Manyebook
R.J. Richardson
The Art of Deduction