Structural proof theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Negri, Sara 1967-
Άλλοι συγγραφείς:	Von Plato, Jan
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Cambridge University Press 2001.
Θέματα:	Proof theory.