Proof Theory: History and Philosophical Significance

Publikation: Bog/antologi/afhandling/rapportBogForskningfagfællebedømt

Standard

Proof Theory : History and Philosophical Significance. / Hendricks, Vincent Fella (Redaktør); Pedersen, Stig Andur (Redaktør); Jørgensen, Klaus Frovin (Redaktør).

Hardback udg. Dordrecht : Kluwer Academic Publishers, 2000. 256 s. (Synthese Library, Bind 292).

Publikation: Bog/antologi/afhandling/rapportBogForskningfagfællebedømt

Harvard

Hendricks, VF, Pedersen, SA & Jørgensen, KF (red) 2000, Proof Theory: History and Philosophical Significance. Synthese Library, bind 292, Hardback udg, 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. (red.) (2000). Proof Theory: History and Philosophical Significance. (Hardback udg.) Kluwer Academic Publishers. Synthese Library Bind 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 udg. Dordrecht: Kluwer Academic Publishers, 2000. 256 s. (Synthese Library, Bind 292). https://doi.org/10.1007/978-94-017-2796-9

Author

Hendricks, Vincent Fella (Redaktør) ; Pedersen, Stig Andur (Redaktør) ; Jørgensen, Klaus Frovin (Redaktør). / Proof Theory : History and Philosophical Significance. Hardback udg. Dordrecht : Kluwer Academic Publishers, 2000. 256 s. (Synthese Library, Bind 292).

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