Notes 1: Proving Arithmetic Equations (PDF)
Notes 2: Substitution into Arithmetic Expressions (PDF)
Notes 3: A Scheme Substitution Model (PDF)
Notes 4: Term Models (PDF)
Notes 5: Scheme Computability, Part I (PDF)
Notes 6: Scheme Computability, Part II (PDF)
Notes 7: Counter Machines (PDF)
Notes 8: Semigroup Word Problems (PDF)
Notes 9: 1st-order Theory of Concatenation (PDF)