Lectures on Thursdays Schwichtenberg, Basic Proof Theory, second edition. Note and reference for Dialectica interpretation Fil. Natural deduction as a typed lambda-calculus. Cambridge University Press Notes on Equational logic, unification and term rewriting Fil.
Cambridge University PressChapters 1 - 4.
Templates — Swedish
Relative consistency of HA to T. This is pages of Schwichtenberg and Wainer Recommended Exercises 1 Fil. RoomBuilding 6, Kräftriket. Cambridge University Press Natural deduction as a typed lambda-calculus. Grading - Metamathematics and proof theory VT Fil.