*001441135
*00520250613173329.0
*007ta
*008130219s1991    xxu           000 u eng d
*00901049cam a2200301 c 4500
*019  $bl
*020  $a0937073741
*035  $a(EXLNZ-47BIBSYS_NETWORK)999328497844702201
*035  $a(NO-LaBS)15138414(bibid)
*035  $a(NO-TrBIB)932849784
*035  $a932849784-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*084  $aL 26$qNoOU$2utklklass
*1001 $aBarwise, Jon$0(NO-TrBIB)90054139$_73006600
*24514$aThe language of first-order logic :$bincluding the MacintoshTM program Tarski's world$cJon Barwise and John Etchemendy
*250  $a2nd ed., rev. and expanded
*260  $aStanford, Calif.$bCSLI$cc1991
*300  $axiv, 297 s.$e1 diskett
*4901 $aCSLI lecture notes$v23
*500  $aDiskett i lomme
*650 7$aLogikk$0(NO-TrBIB)HUME00704$2humord$_280604400
*650 7$aSymbolsk logikk$0(NO-TrBIB)HUME00719$2humord$_189741600
*653  $alogikk$ainnføring$_73006700
*7001 $aEtchemendy, John$0(NO-TrBIB)90412395$_73006800
*7300 $aTarski's world$0(NO-TrBIB)90938392$_73006900
*830  $aCSLI lecture notes$v23$w998810537244702201$_35962600
*901  $a80
*999  $aoai:nb.bibsys.no:999920001455302202$b2021-11-14T20:21:02Z$z999920001455302202
^