Structural proof theory

Bibliografische gegevens
Hoofdauteur:	Negri, Sara 1967-
Andere auteurs:	Von Plato, Jan
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Cambridge Cambridge University Press 2001.
Onderwerpen:	Proof theory.