*001661759
*00520230309152843.0
*007ta
*008140304s2013    no#           000 0 eng
*00901512cam a2200349 c 4500
*015  $a1323920$2nbf
*019  $bl
*020  $qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)991322486544702201
*035  $a(NO-LaBS)13470204(bibid)
*035  $a(NO-TrBIB)132248654
*035  $a132248654-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08204$a511.3$qNoBeU$223
*08274$a511.3$qNO-OsNB$25/nor
*1001 $aRognes, André$d1967-$0(NO-TrBIB)90704451$_95016400
*24510$aOn the methods of mechanical non-theorems$cAndré Rognes
*260  $aOslo$b[Department of Mathematics], Faculty of Mathematics and Natural Sciences, University of Oslo$c2013
*300  $a105 s.$bill.
*4901 $aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo$vno. 1341
*502  $aAvhandling (ph.d.) - Universitetet i Oslo, 2013
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2017-12-18
*653  $asymbolsk$alogikk$abevisteori$_95016500
*7102 $aUniversitetet i Oslo$bDet matematisk-naturvitenskapelige fakultet$0(NO-TrBIB)90069516$4dgg$_10300400
*830 0$aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (trykt utg.)$x1501-7710$vno. 1341$w999916000704702201$_204427900
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2017121808118$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:991322486544702202$b2021-11-14T20:39:42Z$z991322486544702202
^