| Originalspråk | engelska |
|---|
| Förlag | Cambridge University Press |
|---|---|
| Antal sidor | 274 |
| ISBN (tryckt) | 0-521-79307-6 |
| Status | Publicerad - 2001 |
| MoE-publikationstyp | C1 Separata vetenskapliga böcker |
Structural proof theory: with an appendix by Aarne Ranta
Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › Peer review