*001482949
*00520190416200529.0
*007ta
*008140918s1992    no#           000 0 eng d
*00901116cam a2200301 c 4500
*015  $a9202867$2nbf
*019  $bl
*020  $a8273680800$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999216611344702201
*035  $a(NO-LaBS)13731195(bibid)
*035  $a(NO-TrBIB)921661134
*035  $a921661134-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*08274$a511.3$qNO-OsNB$24/nor
*1001 $aMonteiro, Eric$0(NO-TrBIB)90297762$_22708000
*24510$aPerspectives on proof theory :$blogical, computational and philosophical$cEric Monteiro
*260  $a[Oslo]$bInstitute of Informatics, University of Oslo$c1992
*300  $a220 s.$bfig.$c30 cm
*4901 $aResearch report / Institute of Informatics, University of Oslo$v171
*502  $aAvhandling (dr. scient.) - Universitetet i Oslo, 1992
*650 7$aInformatikk$0(NO-TrBIB)REAL000964$2noubomn$_192409100
*653  $amatematikk$aprogrammering$abevisteori$_77280400
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v171$w998010812114702201$_17153800
*901  $a80
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999216611344702202$b2021-11-14T20:24:20Z$z999216611344702202
^