Bevisteori: eksemplificeret ved Gentzens bevis for konsistensen af teorien om naturlige tal

Gitte Andersen, Lise Mariane Jeppesen, Ivar Peter Zeck, Klaus Frovin Jørgensen

Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling

Originalsprog	Dansk

Link til dokument

@book{b73d9080a70211db8e5a000ea68e967b,

title = "Bevisteori: eksemplificeret ved Gentzens bevis for konsistensen af teorien om naturlige tal",

author = "Gitte Andersen and Jeppesen, {Lise Mariane} and Zeck, {Ivar Peter} and J{\o}rgensen, {Klaus Frovin}",

year = "1996",

language = "Dansk",

series = "Tekster fra IMFUFA",

publisher = "Roskilde Universitet",

number = "326",

}