Structural proof theory

Bibliografiska uppgifter
Huvudupphovsman:	Negri, Sara 1967-
Övriga upphovsmän:	Von Plato, Jan
Materialtyp:	Bok
Språk:	English
Publicerad:	Cambridge Cambridge University Press 2001.
Ämnen:	Proof theory.