*001866885
*00520250613171055.0
*007ta
*008150225r19891958xxk           000 u eng d
*00901317cam a2200337 c 4500
*019  $bl
*020  $a041504040X
*020  $a0710070780
*035  $a(EXLNZ-47BIBSYS_NETWORK)999106707814702201
*035  $a(NO-LaBS)15137749(bibid)
*035  $a(NO-TrBIB)910670781
*035  $a910670781-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*084  $a080 510:001.92$2ubtkl/2
*084  $a510:001.92$2ubtkl/2
*084  $aG.2.0$2acmccs
*1001 $aNagel, Ernest$0(NO-TrBIB)90186193$_34895500
*24510$aGödel's proof$cby Ernest Nagel and James R. Newman
*260  $aLondon$bRoutledge$c1989
*300  $aix, 118 s.
*534  $aOpptrykk. Først utkommet: 1958
*60017$aGödel, Kurt$clogiker, matematiker og filosof$d1906-1978$0(NO-TrBIB)90149423$2bare$_107530700
*653  $ateorem$asymbolsk$alogikk$_112517100
*7001 $aNewman, James R.$0(NO-TrBIB)90218992$_38707600
*7760 $tGodel's Proof$w991303746524702201
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9780415040402
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9780415040402
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9780415040402
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/2/0/9780415040402.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:999106707814702202$b2021-11-14T20:55:13Z$z999106707814702202
^