@inbook{f8128a108a6811de8bc9000ea68e967b,
title = "Introduction",
author = "Hendricks, {Vincent Fella} and Pedersen, {Stig Andur} and J{\o}rgensen, {Klaus Frovin}",
year = "2000",
doi = "10.1007/978-94-017-2796-9_1",
language = "English",
isbn = "978-90-481-5553-8",
series = "Synthese Library",
publisher = "Kluwer Academic Publishers",
pages = "1--7",
editor = "Hendricks, {Vincent F.} and Pedersen, {Stig Andur} and J{\o}rgensen, {Klaus Frovin}",
booktitle = "Proof Theory",
address = "Netherlands",
}