Pensum/læringskrav

 

Negri Sara and Jan Von Plato, Structural Proof Theory, Cambridge University Press, 2008

Troelstra, Anne Sjerp, and Helmut Schwichtenberg. Basic proof theory. No. 43. Cambridge University Press, 2000.

Publisert 22. aug. 2013 20:59 - Sist endret 22. aug. 2013 20:59