The Elements of Reasoning - Conway (Wadsworth/Thomas Learning, 2000)