*00174498
*00520250613104937.0
*007ta
*008150428s1971 gw 000 u und d
*00901138cam a22003011c 4500
*019 $bl
*020 $a038705541X
*020 $a354005541X
*035 $a(EXLNZ-47BIBSYS_NETWORK)999211568984702201
*035 $a(NO-LaBS)15182951(bibid)
*035 $a(NO-TrBIB)921156898
*035 $a921156898-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*084 $a02$2msc
*1001 $aScarpellini, Bruno$0(NO-TrBIB)9021474$_26253800
*24510$aProof theory and intuitionistic systems$cBruno Scarpellini
*260 $aBerlin$bSpringer$c1971
*300 $avii, 290 s.
*4901 $aLecture notes in mathematics$v212
*650 0$aIntuitionistic mathematics$_26253900
*650 0$aProof theory$_26254000
*7760 $tProof Theory and Intuitionistic Systems$w991145569464702201
*830 0$aLecture notes in mathematics$v212$_13174700
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540055419
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/9/1/9783540055419.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/9/1/9783540055419.jpg$qimage/jpeg
*901 $a70
*999 $aoai:nb.bibsys.no:999211568984702202$b2021-11-14T19:46:20Z$z999211568984702202
^
