Introduction

Stig Andur Pedersen

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Proof theory
Redaktører	Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen
Udgivelsessted	Dordrecht
Forlag	Kluwer Academic Publishers
Publikationsdato	2000
Status	Udgivet - 2000

Citer dette

@inbook{3a8dff10a6fe11db8e5a000ea68e967b,

title = "Introduction",

author = "Pedersen, {Stig Andur}",

year = "2000",

language = "English",

series = "Synthese Library",

publisher = "Kluwer Academic Publishers",

number = "292",

editor = "Hendricks, {Vincent F.} and Pedersen, {Stig Andur} and J{\o}rgensen, {Klaus Frovin}",

booktitle = "Proof theory",

}