Proof Theory: History and Philosophical Significance
Research output: Book/Report › Book › Research › peer-review
Standard
Proof Theory : History and Philosophical Significance. / Hendricks, Vincent Fella (Editor); Pedersen, Stig Andur (Editor); Jørgensen, Klaus Frovin (Editor).
Hardback ed. Dordrecht : Kluwer Academic Publishers, 2000. 256 p. (Synthese Library, Vol. 292).Research output: Book/Report › Book › Research › peer-review
Harvard
Hendricks, VF, Pedersen, SA & Jørgensen, KF (eds) 2000, Proof Theory: History and Philosophical Significance. Synthese Library, vol. 292, Hardback edn, Kluwer Academic Publishers, Dordrecht. https://doi.org/10.1007/978-94-017-2796-9
APA
Hendricks, V. F., Pedersen, S. A., & Jørgensen, K. F. (Eds.) (2000). Proof Theory: History and Philosophical Significance. (Hardback ed.) Kluwer Academic Publishers. Synthese Library Vol. 292 https://doi.org/10.1007/978-94-017-2796-9
Vancouver
Hendricks VF, (ed.), Pedersen SA, (ed.), Jørgensen KF, (ed.). Proof Theory: History and Philosophical Significance. Hardback ed. Dordrecht: Kluwer Academic Publishers, 2000. 256 p. (Synthese Library, Vol. 292). https://doi.org/10.1007/978-94-017-2796-9
Author
Bibtex
@book{61b00b6187e14a4d84137e4c0cdf7f4f,
title = "Proof Theory: History and Philosophical Significance",
editor = "Hendricks, {Vincent Fella} and Pedersen, {Stig Andur} and J{\o}rgensen, {Klaus Frovin}",
year = "2000",
month = oct,
day = "1",
doi = "10.1007/978-94-017-2796-9",
language = "English",
isbn = "978-0-7923-6544-0",
series = "Synthese Library",
publisher = "Kluwer Academic Publishers",
address = "Netherlands",
edition = "Hardback",
}
RIS
TY - BOOK
T1 - Proof Theory
T2 - History and Philosophical Significance
A2 - Hendricks, Vincent Fella
A2 - Pedersen, Stig Andur
A2 - Jørgensen, Klaus Frovin
PY - 2000/10/1
Y1 - 2000/10/1
U2 - 10.1007/978-94-017-2796-9
DO - 10.1007/978-94-017-2796-9
M3 - Book
SN - 978-0-7923-6544-0
SN - 978-90-481-5553-8
T3 - Synthese Library
BT - Proof Theory
PB - Kluwer Academic Publishers
CY - Dordrecht
ER -
ID: 33111632