The book Thinking as Computation has been used as the text for a first-year undergraduate course at the University of Toronto. Here is some additional material that may be useful to instructors. This material is free, of course, but without support or warranty.
Instructions on using these files can be found in Appendix A of the book.
Thanks to Marco Valtorta, University of South Carolina, for spotting this: at the bottom of page 76, it should say "the size of left(b1,b7) will be 2 and the size of left(b1,b4) will be 3" (instead of the sizes being 3 and 4, as stated there).
In reference , page 292, "Mendelsohn" should be "Mendelson".
On page 25 line 2, "cannot not" should obviously be "cannot".
Please let me know of any other mistakes you find.
Best of luck!