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