*001656360
*00520250613174822.0
*007ta
*008090716s1957    xxu           000 u eng
*00900556cam a22001697c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)990928057284702201
*035  $a(NO-LaBS)14631779(bibid)
*035  $a(NO-TrBIB)092805728
*035  $a092805728-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*1001 $aMcNaughton, Robert$0(NO-TrBIB)90143079$_94524300
*24512$aA proof that addition is not arithmetically definable in terms of a single unary operator$cby Robert McNaughton
*260  $aStanford, CA.$bStanford university$c1957
*300  $a14, ii bl.
*901  $a60
*999  $aoai:nb.bibsys.no:990928057284702202$b2021-11-14T20:39:18Z$z990928057284702202
^