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.
Pensum/l?ringskrav
Publisert 22. aug. 2013 20:59
- Sist endret 22. aug. 2013 20:59