Structural proof theory: with an appendix by Aarne Ranta

Research output: Book/ReportBookScientificpeer-review

Original languageEnglish
PublisherCambridge University Press
Number of pages274
ISBN (Print)0-521-79307-6
Publication statusPublished - 2001
MoE publication typeC1 Scientific book

Cite this