*00158852
*00520230330173845.0
*007ta
*008101014s1993    no#           000 0 eng
*00901230cam a2200313 c 4500
*015  $a9306666$2nbf
*019  $bl
*020  $a8273680916
*035  $a(EXLNZ-47BIBSYS_NETWORK)999327495694702201
*035  $a(NO-LaBS)15227716(bibid)
*035  $a(NO-TrBIB)932749569
*035  $a932749569-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a004.21$qNO-OsNB$25/nor
*1001 $aLysne, Olav$0(NO-TrBIB)90235122$_23564600
*24510$aOn the connection between narrowing and proof by consistency$cOlav Lysne
*260  $aOslo$bUniversity of Oslo, Department of Informatics$c1993
*300  $a18 s.$c30 cm
*4901 $aResearch report / University of Oslo, Department of Informatics$v181
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2017-07-10
*588  $aKatalogisert etter omslaget
*653  $ainnsnevring$akonsistens-bevis$abachmair$_23564700
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v181$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2017071009541$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:999327495694702202$b2021-11-14T19:45:01Z$z999327495694702202
^