LIST OF ERRATA
p.xvi, line -14:
Replace "futher" with "further"
p.7, line -4:
Replace "Internets" with "Internet"
p.57, immediately before the bullet list:
Replace "four" by "five"
p.67, Theorem 2.11:
Replace "A, B and C" by "A and B"
p.69, Exercise 2.15:
Add a fullstop end of 1. and 2.
p.72, line 15:
Replace second pair of union symbols \cup to intersection symbols \cap
p.75, Example 2.22, first line:
Replace "represents" by "represent" (three times).
p.75, Example 2.22, first line:
Add "all" before "possible grades".
p.109, l.8:
Delete "put".
p.110, Example 4.1, second bullet point:
Add "Female(Donald)," after "Female(Scrooge)".
p.111, l.7 in Example 4.2, line7:
Replace "Divides" by "Divides(x,y)".
p.113, immediately before Example 4.3:
Add "Universal quantification is assumed to bind more strongly
than all of the propositional connectives."
p.119, displayed formula in Example 4.8:
Replace "Z" by "N" (twice).
p.127, Exercise 1, first line:
Replace "his" by "their".
p.129, Exercise 9, first line:
Delete "told him".
p.156, displayed formula "Class = ...":
Add a comma after "Parker".
p.160, Theorem 6.4:
Un-italicize "graph" (twice).
p.175, item (a) in middle:
Replace second union symbol \cup by intersection symbol \cap
p.176, Additional Exercise 1, both (a) and (b):
Start sentences with uppercase.
p.178:
Added a new exercise 14.
p.191, line before Exercise 7.12:
Replace "anytisymmetric" by "antisymmetric"
p.197, Exercise 1:
Delete "Consider the following family members of"
p.211, Line 3:
Replace ":: =" by "::=".
p.211, Line -3:
Replace "list of names" by "set of names"
p.212, Line 3:
Replace "the the" by "the".
p.221, Exercise 4:
Replace "Us" by "Use".
p.226, Replace "Collatz's conjecture" with "the Collatz conjecture"
p.250, last line (before footnote):
Delete space before fullstop.
p.267, third line of the Proof
Replace fullstop with comma.
p.267, fourth line of the Proof
Replace comma with fullstop.
p.271, exercise 1(b)
Replace "left. and" by "left, and" (twice)
p.291, 4 lines before Exercise 11.9:
Replace 3^\downarrow by 3^-.
p.295, 2 lines after the two bullet points:
Replace "Off" by "Broken"
p.343, l.7:
Replace "formulas" by "formulae".
p.406-492, headers:
The even page headers should be "Solutions to Exercises", and
odd page headers should be "Chapter X" (where X ranges from 1 to 15).
p.424, bottom line:
Add "\exists y" in front of "Parent(x,y)".
p.451, Exercise 9.12, Induction Step:
Replace "(a+b,b)" by "(b,a+b)" twice.
p.466, line 2:
Replace semicolon by full stop.
p.475, six lines from bottom:
Replace "b-transition" by "b-transitions"
p.476, first line:
Replace "gray state" by "gray states"
p.476, second line:
Replace "transitions to a white," by "transition to a white state"
p.476, second line:
Replace "other white," by "other gray"
p.476, lines 6-7:
Replace "c-transitions to a white," by "c-transitions to a white state"
p.476, first two lines after middle figure:
Replace "states U has an a-transitions" by "state U has an a-transition"