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

@book{f28312ef54134a90af8dba1a657b00b8,
title = "Structural proof theory: with an appendix by Aarne Ranta",
author = "Sara Negri and {von Plato}, Jan",
year = "2001",
language = "English",
isbn = "0-521-79307-6",
publisher = "Cambridge University Press",
address = "United Kingdom",

}

Structural proof theory : with an appendix by Aarne Ranta. / Negri, Sara; von Plato, Jan.

Cambridge University Press, 2001. 274 p.

Research output: Book/ReportBookScientificpeer-review

TY - BOOK

T1 - Structural proof theory

T2 - with an appendix by Aarne Ranta

AU - Negri, Sara

AU - von Plato, Jan

PY - 2001

Y1 - 2001

M3 - Book

SN - 0-521-79307-6

BT - Structural proof theory

PB - Cambridge University Press

ER -