*001962550
*00520230310170428.0
*007ta
*008070626s1986    no#           000 0 nob d
*00901396cam a2200373 c 4500
*015  $a8605476$2nbf
*019  $bl
*020  $a8253902794
*035  $a(EXLNZ-47BIBSYS_NETWORK)998711338304702201
*035  $a(NO-LaBS)14926529(bibid)
*035  $a(NO-TrBIB)871133830
*035  $a871133830-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*080  $a519.682.1
*080  $a681.3.04
*080  $a681.3:003
*08274$a519.5$qNO-OsNB$24/nor
*1001 $aSpurkland, Sverre$d1931-1998$0(NO-TrBIB)90280629$_45471100
*24510$aForm og mening :$bbeskrivelse av fem formelle teorier$cav Sverre Spurkland, Anne Salvesen, Brynjulv Hauksson
*260  $a[Oslo]$c1986
*300  $a80 bl.
*4901 $aRapport / Norsk regnesentral$v791
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2016-07-04
*650 7$aProgrammeringsspråk$2tekord$_186215600
*650 7$aSemantikk$xDatabehandling$2tekord$_189042700
*653  $alambda-kalkyle$aalgebraisk$aspesifikasjon$apredikatlogikk$asemantikk$_121128900
*7001 $aHauksson, Brynjulv$0(NO-TrBIB)90316576$_121129000
*7001 $aSalvesen, Anne$0(NO-TrBIB)90316805$_44128700
*830 0$aPublikasjon (Norsk regnesentral : trykt utg.)$x0809-8484$v791$w998111897404702201$_13799600
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2016070408016$yNettbiblioteket$zDigital representasjon
*901  $a80
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:998711338304702202$b2021-11-14T21:11:06Z$z998711338304702202
^