Study Materials
Readings 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)