*001863378
*00520250613111420.0
*007ta
*008130404s1952    ne            000 u eng d
*00901262cam a2200337 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)997820182544702201
*035  $a(NO-LaBS)14034120(bibid)
*035  $a(NO-TrBIB)782018254
*035  $a782018254-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a510(07)
*084  $a02$2msc
*084  $a02-02$2msc
*084  $a02.01$2msc
*084  $aG.2.0$2acmccs
*1001 $aKleene, Stephen Cole$0(NO-TrBIB)90708278$_112236200
*24510$aIntroduction to metamathematics$cby Stephen Cole Kleene.
*260  $aAmsterdam$bNorth-Holland$c1952
*300  $ax, 550 s.
*4901 $aBibliotheca mathematica: a series of monographs on pure and applied mathematics$v1
*650 7$aGödels ufullstendighetsteoremer$0(NO-TrBIB)REAL012892$2noubomn$_203036800
*650 7$aLogikk$0(NO-TrBIB)REAL012460$2noubomn$_192880400
*650 7$aMatematisk filosofi$0(NO-TrBIB)HUME08172$2humord$_188021600
*650 7$aMatematisk logikk$0(NO-TrBIB)REAL012433$2noubomn$_194831000
*650 7$aMetamatematikk$0(NO-TrBIB)REAL005038$2noubomn$_201448200
*650 7$aTuringmaskiner$0(NO-TrBIB)REAL001768$2noubomn$_235109400
*653  $ametamatematikk$amatematisk$alogikk$_94568600
*830 0$aBibliotheca mathematica: a series of monographs on pure and applied mathematics$v1$_112236400
*901  $a80
*999  $aoai:nb.bibsys.no:997820182544702202$b2021-11-14T20:54:55Z$z997820182544702202
^