*001502432
*00520250613104612.0
*007ta
*008150413s1979 gw 000 u und d
*00901609cam a2200361 c 4500
*019 $bl
*020 $a0387097244
*020 $a3540097244
*035 $a(EXLNZ-47BIBSYS_NETWORK)998130184394702201
*035 $a(NO-LaBS)13881747(bibid)
*035 $a(NO-TrBIB)813018439
*035 $a813018439-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*080 $a510.6
*080 $a681.3:51
*1001 $aGordon, Michael J. C.$0(NO-TrBIB)90167526$_23652500
*24510$aEdinburgh LCF :$ba mechanised logic of computation$cMichael J. Gordon, Arthur J. Milner [i.e. Robin Milner], Christopher P. Wadsworth
*260 $aBerlin$bSpringer$c1979
*300 $aVIII, 159 s.
*4901 $aLecture notes in computer science$v78
*650 7$aMatematikk$xDatabehandling$2tekord$_186848100
*650 7$amatematisk$alogikk$2tekord$_187620500
*7001 $aMilner, Robin$0(NO-TrBIB)90210333$_39604200
*7001 $aWadsworth, Christopher$0(NO-TrBIB)90210150$_79142500
*7760 $tEdinburgh LCF : A Mechanised Logic of Computation$w990704366494702201
*7760 $tIntroduction to Hamiltonian Dynamical Systems and the N-Body Problem$w990930089294702201
*830 0$aLecture notes in computer science$v78$_13074400
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=3540097244
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/4/0387097244.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/4/3540097244.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/4/9780387097244.jpg$qimage/jpeg
*901 $a80
*999 $aoai:nb.bibsys.no:998130184394702202$b2021-11-14T20:25:56Z$z998130184394702202
^