We will primarily be following course notes: Some textbooks on proof theory that may be useful to refer to: