Department of Philosophy
University of Sydney
Sydney, NSW, Australia
Errata
Page 5, footnote 8: This footnote wrongly attributes the sequence approach to Dedekind. Dedekind's idea was to cut the set in question into two non-empty subsets and does not involve sequences. The sequence approach is due to Cauchy. (Thanks to John Hosack for drawing my attention to this mistake.)
Page 81, footnote 7: The reference here should be to Baker 2009b (rather than 2009a). (Thanks to John Cusbert for pointing out this error.)
Page 124: There is an error in the truth table for disjunction. The entries for 1 v i and i v 1 should both be "1" (not i). (Thanks to Carl Wagner for pointing out this error.)
Page 146, line 2 and Page 147, line 3: 'polynomials' should be replaced by 'polyhedra'. (Thanks again to Carl Wagner for spotting these errors.)
Please email with any other mistakes or typos you notice.