| Record ID | marc_columbia/Columbia-extract-20221130-013.mrc:217428429:1194 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-013.mrc:217428429:1194?format=raw |
LEADER: 01194cam a2200325 a 4500
001 6255329
005 20221122013157.0
008 030923t20072007gw a b 001 0 eng d
020 $a9783540004288
020 $a3540004289
029 0 $aNLGGC$b253230071
035 $a(OCoLC)ocn150202675
035 $a(OCoLC)150202675
035 $a(NNC)6255329
035 $a6255329
040 $aNLGGC$cNLGGC$dYDXCP$dBAKER$dNNC
084 $a54.10$2bcl
084 $a31.10$2bcl
090 $aQA9.7$b.F55 2007
245 00 $aFinite model theory and its applications /$cErich Grädel [and others].
260 $aBerlin ;$aNew York :$bSpringer,$c[2007], ©2007.
300 $aXI, 437 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aTexts in theoretical computer science
504 $aIncludes bibliographical references and index.
650 0 $aModel theory.$0http://id.loc.gov/authorities/subjects/sh85086421
700 1 $aGrädel, Erich,$d1958-$0http://id.loc.gov/authorities/names/n96097127
830 0 $aTexts in theoretical computer science.$0http://id.loc.gov/authorities/names/n94086963
852 00 $boff,eng$hQA9.7$i.F55 2007g