| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:609930241:1486 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:609930241:1486?format=raw |
LEADER: 01486mam a2200325 a 4500
001 1976850
005 20220609042121.0
008 961118t19961996gw b 001 0 eng
010 $a 96051089
020 $a3540620370 (softcover : alk. paper)
035 $a(OCoLC)ocm36001373
035 $9AMJ3416CU
035 $a(NNC)1976850
035 $a1976850
040 $aDLC$cDLC$dOrLoB-B
050 00 $aQA9.7$b.O88 1996
082 00 $a511.3/3$221
100 1 $aOtto, Martin,$d1961-$0http://id.loc.gov/authorities/names/n96112010
245 10 $aBounded variable logics and counting :$ba study in finite models /$cMartin Otto.
260 $aBerlin ;$aNew York :$bSpringer,$c[1996], ©1996.
300 $aix, 183 pages ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in logic ;$v9
504 $aIncludes bibliographical references (p. [177]-179) and index.
505 00 $g0.$tIntroduction --$g1.$tDefinitions and Preliminaries --$g2.$tThe Games and Their Analysis --$g3.$tThe Invariants --$g4.$tFixed-Point Logic with Counting --$g5.$tRelated Lindstrom Extensions --$g6.$tCanonization Problems --$g7.$tCanonization for Two Variables.
650 0 $aModel theory.$0http://id.loc.gov/authorities/subjects/sh85086421
650 0 $aComputational complexity.$0http://id.loc.gov/authorities/subjects/sh85029473
830 0 $aLecture notes in logic ;$v9.$0http://id.loc.gov/authorities/names/n93082404
852 00 $bmat$hQA9.7$i.O88 1996