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/rapportRapportFormidling

OriginalsprogDansk
UdgivelsesstedRoskilde
ForlagRoskilde Universitet
Antal sider89
StatusUdgivet - 1996
Udgivet eksterntJa
NavnTekster fra IMFUFA
Nummer326
ISSN0106-6242

Citer dette