Some Small Typos

[maximalization]

A few typos from what I have read so far from the compiled website pdf.

Proposition 2.32

• says: y != y
• should be: y != y'

Example 2.36

• spelling: 'successurs'

An Alternative Pairing Function

• first enumeration starts: \lange 0,1 \rangle
• to match ones below, should be: \langle 0,0 \rangle

9.6 Proof-Theoretic Notions

• spelling: 'satisfiabilty'

[rzach]

Thanks!