| Record ID | marc_records_scriblio_net/part15.dat:15798448:1042 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part15.dat:15798448:1042?format=raw |
LEADER: 01042cam 22003138a 4500
001 2004017514
003 DLC
005 20051013081133.0
008 040806s2004 cau b 001 0 eng
010 $a 2004017514
020 $a1575864843 (pbk. : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aBC128$b.B35 2004
082 00 $a511.3$222
100 1 $aBarker-Plummer, Dave.
245 10 $aTarski's world /$cby Dave Barker-Plummer, Jon Barwise, John Etchemendy.
250 $aRev. and expanded.
260 $aStanford, Calif. :$bCSLI Publications,$cc2004.
263 $a0409
300 $ap. cm.
440 0 $aCSLI lecture notes ;$vno. 169
504 $aIncludes bibliographical references and indexes.
650 0 $aFirst-order logic.
630 00 $aTarski's world.
700 1 $aBarwise, Jon.
700 1 $aEtchemendy, John,$d1952-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/uchi051/2004017514.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/ecip0421/2004017514.html