Jonathan Ly

Student at the University of Washington - B.Sc. in Computer Science

\[\Gamma \cup \{A\} \vdash B\] \[\Gamma \vdash A \to B \]

The Deduction Theorem

Or, an introduction to the metatheory of propositional logic.

A lesson in Turing machines, complexity theory, and a note to myself to be careful for implicit assumptions.