*001542414
*00520250613140802.0
*007cr
*007ta
*008090306s1996    no            000 0 eng d
*00901168cam a2200277 c 4500
*019  $bl
*020  $a8273681246
*035  $a(EXLNZ-47BIBSYS_NETWORK)999613292384702201
*035  $a(NO-LaBS)14033229(bibid)
*035  $a(NO-TrBIB)092861008
*035  $a(NO-TrBIB)961329238
*035  $a961329238-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aHolden, Marit$0(NO-TrBIB)90284773$_24044000
*24512$aA proof theoretic characterization of the Kalmar elementary functions$cMarit Holden
*260  $aOslo$bUniversity of Oslo, Department of Informatics$c1996
*300  $a36 s.
*4901 $aResearch report / University of Oslo, Department of Informatics$v211
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-06-25
*588  $aKatalogisert etter omslag.
*653  $apredikatlogikk$abevisføring$aelementære$afunksjoner$_83226400
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v211$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009062504068$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999613292384702202$b2021-11-14T20:29:28Z$z999613292384702202
^