*001499071
*00520250613104939.0
*007ta
*008150423s1973 gw 000 u und d
*00901228cam a22003011c 4500
*019 $bl
*020 $a0387061193
*020 $a3540061193
*035 $a(EXLNZ-47BIBSYS_NETWORK)999211568044702201
*035 $a(NO-LaBS)13942274(bibid)
*035 $a(NO-TrBIB)921156804
*035 $a921156804-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*084 $a02$2msc
*1001 $aLuckhardt, Horst$0(NO-TrBIB)9021472$_78815800
*24510$aExtensional Gödel functional interpretation :$ba consistency proof of classical analysis$cHorst Luckhardt
*260 $aBerlin$bSpringer$c1973
*300 $a161 s.
*4901 $aLecture notes in mathematics$v306
*650 0$aIntuitionistic mathematics$_26253900
*650 0$aProof theory$_26254000
*7760 $tExtensional Gödel Functional Interpretation : A Consistency Proof of Classical Analysis$w991145581834702201
*830 0$aLecture notes in mathematics$v306$_13174700
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540061199
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/9/9/9783540061199.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/9/9/9783540061199.jpg$qimage/jpeg
*901 $a70
*999 $aoai:nb.bibsys.no:999211568044702202$b2021-11-14T20:25:38Z$z999211568044702202
^
