Litt subrekursjonsteori og enda mindre rekursjonsteori
av Lars KristiansenInngår i serie: HiO-notat (2000 nr 24)
Kristiansen, Lars Bok Bokmål utgitt 2000
Kristiansen, Lars Bok Bokmål utgitt 2000
Ledig
- Automatlager: 2 av 2 ledig
*001810806 *00520250613114009.0 *007cr *007ta *008150611s2000 no 000 u nob d *00901076cam a2200277 c 4500 *019 $bl *020 $a8257940194$qh. *035 $a(EXLNZ-47BIBSYS_NETWORK)990016274224702201 *035 $a(NO-LaBS)14367349(bibid) *035 $a(NO-TrBIB)001627422 *035 $a(NO-TrBIB)151140413 *035 $a001627422-47bibsys_network *040 $aNO-TrBIB$bnob$ekatreg *1001 $aKristiansen, Lars$0(NO-TrBIB)90527347$_55491900 *24510$aLitt subrekursjonsteori og enda mindre rekursjonsteori$cav Lars Kristiansen *260 $a[Oslo]$bHøgskolen i Oslo. Avdeling for ingeniørutdanning$c2000 *300 $a51 s. *4901 $aHiO-notat$v2000 nr 24 *500 $a"Kompendium" *500 $aTilgjengelig på ftp://ftp.iu.hio.no/pub/Papers/Kristiansen-1.ps *533 $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2015-05-22 *830 0$aHiO-notat (trykt utg.)$x0807-1047$v2000 nr 24$w999608083704702201$_13851100 *85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2015052208067$yNettbiblioteket$zDigital representasjon *901 $a80 *999 $aoai:nb.bibsys.no:990016274224702202$b2021-11-14T20:51:36Z$z990016274224702202 ^