*001377225
*00520250613104556.0
*007ta
*008130411s1980    gw            000 u eng d
*00900958cam a2200301 c 4500
*019  $bl
*020  $a0387093494
*020  $a3540093494$qib.
*035  $a(EXLNZ-47BIBSYS_NETWORK)998010890854702201
*035  $a(NO-LaBS)14382287(bibid)
*035  $a(NO-TrBIB)801089085
*035  $a801089085-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a510.57
*084  $a02-02$2msc
*084  $a03D$2msc
*1001 $aFenstad, Jens Erik$d1935-$0(NO-TrBIB)90126194$_20829800
*24510$aGeneral recursion theory :$ban axiomatic approach$cJens E. Fenstad
*260  $aBerlin$bSpringer$c1980
*300  $aXI, 225 s.$bfig.
*4901 $aPerspectives in mathematical logic
*650 7$aBeregnbarhetsteori$0(NO-TrBIB)REAL000213$2noubomn$_205851000
*650 7$aMengdelære$0(NO-TrBIB)REAL002861$2noubomn$_209955000
*650 7$aRekursive funksjoner$2tekord$_188700800
*653  $arekursjonsteori$amengdelære$_65922000
*830 0$aPerspectives in mathematical logic$_65922100
*901  $a80
*999  $aoai:nb.bibsys.no:998010890854702202$b2021-11-14T20:15:33Z$z998010890854702202
^