Anne Sjerp Troelstra, Helmut Schwichtenberg. Basic proof theory, Second Edition. Volume 43 of Cambridge tracts in theoretical computer science, Cambridge University Press, 2000.
@book{0001441,
title = {Basic proof theory, Second Edition},
author = {Anne Sjerp Troelstra and Helmut Schwichtenberg},
year = {2000},
researchr = {https://researchr.org/publication/0001441},
cites = {0},
citedby = {0},
volume = {43},
series = {Cambridge tracts in theoretical computer science},
publisher = {Cambridge University Press},
isbn = {978-0-521-77911-1},
}