Comments on the Tucker and Noonan book:
Page 62: Depeding on the printing you have of the book, Table 3.1's Proof Rule 1 (for assignment) may be in error, or it may already have been corrected. The incorrect version includes Q[s.target\s.source]. The correct version has Q[s.source\s.target].
Page 63: The two instances of a≥b∧a=max(a,b) should be just a=max(a,b). Similarly a<b∧b=max(a,b) should be just b=max(a,b).
Pages 66: Depending on the printing you have of the book, the third chunk of English text may be in error, or it may already have been corrected. The incorrect version includes the statement that "We repeat this strategy using R′ and rule 1 on the assignment to i to find: 1≤i∧i≤n∧(f×(i+1)=(i+1)!)." The correct assertion is 1≤i+1∧i+1≤n∧(f×(i+1)=(i+1)!)